( en | de | ru )

 

Disambiguierung von "Larsen, Kim Guldstrand"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal infinite scheduling for multi-priced timed automata.

, , und . Formal Methods Syst. Des., 32 (1): 3-23 (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Patrick Larsen

Reinhard Larsen

Jürgen Larsen

Claudia Larsen

Larsen Schütte

 

Weitere Publikationen von Autoren mit dem selben Namen

CyNC: A method for real time analysis of systems with cyclic data flows., , , und . J. Embed. Comput., 2 (3-4): 347-360 (2006)Diagnostic Model-Checking for Real-Time Systems., , und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 575-586. Springer, (1995)Optimal Conditional Reachability for Multi-priced Timed Automata., und . FoSSaCS, Volume 3441 von Lecture Notes in Computer Science, Seite 234-249. Springer, (2005)Efficient Local Correctness Checking.. CAV, Volume 663 von Lecture Notes in Computer Science, Seite 30-43. Springer, (1992)Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL., , und . ARTS, Volume 1601 von Lecture Notes in Computer Science, Seite 277-298. Springer, (1999)Graphical versus Logical Specifications., und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 57-71. Springer, (1990)Parametric and Quantitative Extensions of Modal Transition Systems., , , und . FPS@ETAPS, Volume 8415 von Lecture Notes in Computer Science, Seite 84-97. Springer, (2014)Almost Optimal Strategies in One Clock Priced Timed Games., , , und . FSTTCS, Volume 4337 von Lecture Notes in Computer Science, Seite 345-356. Springer, (2006)Optimal Strategies in Priced Timed Game Automata., , , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 148-160. Springer, (2004)The Fork Calculus., und . ICALP, Volume 700 von Lecture Notes in Computer Science, Seite 544-557. Springer, (1993)