Stefan Milius (Lehrstuhl f\"ur Theoretische Informatik

Identifiers

• name variant Stefan Milius (Lehrstuhl f\"ur Theoretische Informatik 0.60 · backfill

Papers (1)

1. Abstract GSOS Rules and a Modular Treatment of Recursive Definitions cs.LO · 2013 · author #1

Mentions

• 1307.2538 #1 · backfill · confidence 0.70 Stefan Milius (Lehrstuhl f\"ur Theoretische Informatik

Frequent Coauthors

• Bloomington 1 shared papers
• Braunschweig) 1 shared papers
• Daniel Schwencke (Institute of Transportation Systems 1 shared papers
• Friedrich-Alexander Universit\"at Erlangen-) 1 shared papers
• German Aerospace Center (DLR) 1 shared papers
• IN 1 shared papers
• Lawrence S Moss (Indiana University 1 shared papers
• USA) 1 shared papers