 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Stomp-Roever-Gerth/89" |
|
The \mu-calculus as an assertion-language for fairness arguments
F.A. Stomp, W.P. de Roever, R.T. Gerth
Information and Computation 82 (3), 1989, September, pp. 278-322
| Publisher: | Academic Press | |
| Address: | New York-San Francisco-London-San Diego | |
|
|
|
|