Sven Lamberti

According to our database, Sven Lamberti authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction.

Andreas Morgenstern, Klaus Schneider, Sven Lamberti

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008