PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Marcus, Monica"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic model checking with rich assertional languages.

, , , , und . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)

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.

Monica Mead University of Stuttgart

Monica Vayasi University of Stuttgart

Marcus Jenke

Dr. phil. Marcus Stiebing University of Stuttgart

Dr. -Ing. Marcus Steierwald University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification and Verification of Multi-user Data-Driven Web Applications.. WS-FM, Volume 6194 von Lecture Notes in Computer Science, Seite 128-146. Springer, (2009)Using Ghost Variables to Prove Refinement., und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 226-240. Springer, (1996)A Verifier for Interactive, Data-Driven Web Applications., , , , und . SIGMOD Conference, Seite 539-550. ACM, (2005)Symbolic model checking with rich assertional languages., , , , und . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)Symbolic Model Checking with Rich ssertional Languages., , , , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 424-435. Springer, (1997)Regulated Galiukschov semicontextual grammars., und . Kybernetika, 26 (4): 316-326 (1990)