Partial Order Reductions for Bisimulation Checking
Auteur : Michaela Huhn, Peter Niebert, Heike Wehrheim
Date de publication : 1998
Éditeur : Inst. für Informatik
Nombre de pages : 17
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Michaela Huhn, Peter Niebert, Heike Wehrheim
Date de publication : 1998
Éditeur : Inst. für Informatik
Nombre de pages : 17
Aucun résumé disponible pour ce livre.