Eintrag weiter verarbeiten
Proof Score Approach to Verification of Liveness Properties
Gespeichert in:
Zeitschriftentitel: | IEICE Transactions on Information and Systems |
---|---|
Personen und Körperschaften: | , |
In: | IEICE Transactions on Information and Systems, E91-D, 2008, 12, S. 2804-2817 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Institute of Electronics, Information and Communications Engineers (IEICE)
|
Schlagwörter: |