Searching for authors named "Stephan Merz" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
On the Logic of TLA+
- …Computing and Informatics, Vol. 20, 2001, 1–28, V 2003-Sep-3 ON THE LOGIC OF TLA + Stephan Merz…
- Cited by 6 (0 self) – Add To MetaCart
-
A More Complete TLA
- …A More Complete TLA Stephan Merz Institut fur Informatik, Universitat Munchen merz…
- Cited by 3 (2 self) – Add To MetaCart
-
From TLT modules to stream processing functions
- …From TLT modules to stream processing functions Stephan Merz Institut fur Informatik, Technische…
- Cited by 1 (0 self) – Add To MetaCart
-
Model checking: A tutorial overview
- …Model Checking: A Tutorial Overview Stephan Merz Institut für Informatik, Universität München merz…
- Cited by 13 (0 self) – Add To MetaCart
-
An Encoding of TLA in Isabelle
- …An Encoding of TLA in Isabelle Stephan Merz Institut fur Informatik, Universitat Munchen, Germany…
- Cited by 1 (0 self) – Add To MetaCart
-
Model checking and code generation for UML state machines and collaborations
- … and Stephan Merz Institut für Informatik, Ludwig-Maximilians-Universität München {knapp,merz…
- Cited by 16 (0 self) – Add To MetaCart
-
Steam boiler control specification problem: A TLA solution
- …Steam boiler control specification problem: A TLA solution Frank Leke and Stephan Merz Institut…
- Add To MetaCart
-
A.: Emptiness of linear weak alternating automata
- …Emptiness of Linear Weak Alternating Automata Stephan Merz Ali Sezgin INRIA Lorraine School…
- Cited by 2 (0 self) – Add To MetaCart
-
Animating TLA Specifications
- …Animating TLA Specifications ? Yassine Mokhtari 1 and Stephan Merz 2 1 LORIA-UMR n o 7503…
- Cited by 2 (0 self) – Add To MetaCart
-
On the Integration of Functional Programming, Class-Based Object-Oriented Programming, and Multi-Methods
- …-methods Francois Bourdoncle Stephan Merz Centre de Mathematiques Appliquees, Institut fur Informatik, Ecole des…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
