Further processing options
Proof Score Approach to Verification of Liveness Properties
Saved in:
Journal Title: | IEICE Transactions on Information and Systems |
---|---|
Authors and Corporations: | , |
In: | IEICE Transactions on Information and Systems, E91-D, 2008, 12, p. 2804-2817 |
Type of Resource: | E-Article |
Language: | English |
published: |
Institute of Electronics, Information and Communications Engineers (IEICE)
|
Subjects: |