| Title | Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis] |
|---|---|
| Author | Fabio Mogavero |
| Year | 2007 |
| Edition | |
| Volume | |
| Series | |
| Publisher | Università di Napoli |
| City | |
| Language | English |
Size: 1.4MB | Pages: 160 |
LLC: N/A | DDC:
Related Books
- No Related Books!