Static Partial Order Reduction for Probabilistic Concurrent Systems

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.

Connexion / Inscription

Saisissez votre e-mail pour vous connecter ou créer un compte

Connexion

Inscription

Mot de passe oublié ?

Nous allons vous envoyer un message pour vous permettre de vous connecter.