Towards Automata for Branching Time and Partial Order
Auteur : Michaela Huhn, Peter Niebert
Date de publication : 1996
Éditeur : Univ. Hildesheim, Inst. für Mathematik
Nombre de pages : 18
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Michaela Huhn, Peter Niebert
Date de publication : 1996
Éditeur : Univ. Hildesheim, Inst. für Mathematik
Nombre de pages : 18
Aucun résumé disponible pour ce livre.