Daniel Schwencke (Institute of Transportation Systems

Identifiers

• name variant Daniel Schwencke (Institute of Transportation Systems 0.60 · backfill

Papers (1)

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

Mentions

• 1307.2538 #7 · backfill · confidence 0.70 Daniel Schwencke (Institute of Transportation Systems

Frequent Coauthors

• Bloomington 1 shared papers
• Braunschweig) 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
• Stefan Milius (Lehrstuhl f\"ur Theoretische Informatik 1 shared papers
• USA) 1 shared papers