Eintrag weiter verarbeiten
Model checking the full modal mu-calculus for infinite sequential processes
Gespeichert in:
Zeitschriftentitel: | Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Theoretical Computer Science, 221, 1999, 1-2, S. 251-270 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |