|
СТ |
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems |
2003 |
Merz S., Wirsing M., Zappe J. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Model Checking: A Tutorial Overview |
2001 |
Merz S. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Predicate Diagrams for the Verification of Reactive Systems |
2000 |
Cansell D., Mery D., Merz S. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
A More Complete TLA |
1999 |
Merz S. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Rules for Abstraction |
1997 |
Merz S. |
|
|
|
Lecture Notes in Computer Science |
20.12.1997 |
|
СТ |
A TLA Solution to the RPC-Memory Specification Problem |
1996 |
Adadi M., Lamport L., Merz S. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
An Abstract Account of Composition |
1995 |
Abadi M., Merz S. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
24.10.1995 |
|
П |
Die funktionale Essenz von HDMS-A |
1993 |
Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. |
|
|
TUM |
|
05.07.1995 |
|
СТ |
Efficiency Executable Temporal Logic Programs |
1995 |
Merz S. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.03.1995 |
|
СТ |
Specifying and Verifying Fault-Tolerant Systems |
1994 |
Lamport L., Merz S. |
|
|
|
Lecture Notes in Computer Science |
14.10.1994 |
|
СТ |
A Framework for Programming and Formalizing Concurrent Objects |
1993 |
Bahsoun J. P., Merz S., Servieres C. |
|
|
|
Software Engineering Notes |
12.04.1994 |
