A classification of symbolic transition systems
| Author(s) : | Universite Libre De Faculte Des Sciences Jean-francois Raskin Thomas A. Henzinger, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | or classroom use provided that the copies are not made or distributed for profit or commercial advantage, the ACM copyright/server notice, the title of the publication, and its date appear, and, |