Weak Bisimulation for Fully Probabilistic Processes
Auteur : Christel Baier
Date de publication : 1999
Éditeur : Centre for Telematics and Information Technology
Nombre de pages : 61
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Christel Baier
Date de publication : 1999
Éditeur : Centre for Telematics and Information Technology
Nombre de pages : 61
Aucun résumé disponible pour ce livre.