Static Partial Order Reduction for Probabilistic Concurrent Systems
Auteur : Álvaro Fernández-Díaz, Christel Baier, Clara Benac-Earle, Lars-Åke Fredlund
Date de publication : 2013
Éditeur : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
Nombre de pages : Non disponible
Résumé du livre
Aucun résumé disponible pour ce livre.