 |
 |
|
|
 |
|
|
|
1 - 10 von 13
  |
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) zeitabhängige logik
eingrenzen (Basisklassifikation (XBKL)) 54.10
|
|
|
|
|
 |
1. |
Logics for Concurrency : Structure versus Automata
Moller, Faron. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
2. |
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Koymans, Ron. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1992
|
|
|
|
3. |
Specifying message passing and time-critical systems with temporal logic
Koymans, Ron. - Online-Ausg.. - Berlin [u.a.] : Springer, 1992
|
|
|
|
4. |
Logics for concurrency : structure versus automata
Moller, Faron. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996
|
|
|
 |
5. |
The decision problem for combined modal logics
Wolter, Frank. - Aachen : Shaker, 2000
|
|
|
|
6. |
Temporal logic ; Vol. 2
Gabbay, Dov M. *1945-*. - 2000
|
|
|
|
7. |
Fully decidable logics, automata and classical theories for defining regular real-time languages
Henzinger, Thomas *1962-*. - Saarbrücken : Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation, 1999
|
|
|
|
8. |
Logics for concurrency : structure versus automata; [VIII. Banff Higher Order Workshop, held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]
Moller, Faron. - Berlin : Springer, 1996
|
|
|
|
9. |
Temporal logics for elementary net systems
Sinachopoulos, Antonia. - Sankt Augustin : GMD, 1988
|
|
|
|
10. |
Logics for distributed systems : summary of a workshop, Bonn, March 1992
Goltz, Ursula. - Sankt Augustin : GMD, 1992
|
|
|
|
|
|
|
1 - 10 von 13
|
|
|
|
|
1 - 10 von 13
|
|
|
