Global and Local Deadlock Freedom in BIP
2018
Détails
Titre
Global and Local Deadlock Freedom in BIP
Auteur(s)
Attie, PC ; Bensalem, S ; Bozga, M ; Jaber, M ; Sifakis, J ; Zaraket, FA
Publié dans
ACM Transactions on Software Engineering and Methodology
Volume
26
Numéro
3
Pages
9
Date
2018
Autres identifiant(s)
Afficher la publication dans Web of Science
Laboratoires
RISD
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > RISD - Laboratoire pour la conception rigoureuse des systèmes
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Date de création de la notice
2018-11-08