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: |
Umfang: | 2804-2817 |
---|---|
ISSN: |
1745-1361
0916-8532 |
DOI: | 10.1093/ietisy/e91-d.12.2804 |