%0 Conference Paper %1 conf/forte/BaierBS06 %A Baier, Christel %A Bertrand, Nathalie %A Schnoebelen, Philippe %B FORTE %D 2006 %E Najm, Elie %E Pradat-Peyre, Jean-François %E Donzeau-Gouge, Véronique %I Springer %K dblp %P 212-227 %T Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. %U http://dblp.uni-trier.de/db/conf/forte/forte2006.html#BaierBS06 %V 4229 %@ 3-540-46219-8

@inproceedings{conf/forte/BaierBS06, added-at = {2018-06-26T00:00:00.000+0200}, author = {Baier, Christel and Bertrand, Nathalie and Schnoebelen, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/20efdbd24e2d3736fdcbf599335ec2f1a/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2006}, editor = {Najm, Elie and Pradat-Peyre, Jean-François and Donzeau-Gouge, Véronique}, ee = {https://doi.org/10.1007/11888116_17}, interhash = {add163095aef43396a4d50a736d60cc0}, intrahash = {0efdbd24e2d3736fdcbf599335ec2f1a}, isbn = {3-540-46219-8}, keywords = {dblp}, pages = {212-227}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:24.000+0200}, title = {Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2006.html#BaierBS06}, volume = 4229, year = 2006 }