%0 Conference Paper %1 conf/concur/AbdullaBIJ00 %A Abdulla, Parosh Aziz %A Baier, Christel %A Iyer, S. Purushothaman %A Jonsson, Bengt %B CONCUR %D 2000 %E Palamidessi, Catuscia %I Springer %K dblp %P 320-333 %T Reasoning about Probabilistic Lossy Channel Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2000.html#AbdullaBIJ00 %V 1877 %@ 3-540-67897-2

@inproceedings{conf/concur/AbdullaBIJ00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Baier, Christel and Iyer, S. Purushothaman and Jonsson, Bengt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2959ac243e1da08d10447aee65dca7e41/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2000}, editor = {Palamidessi, Catuscia}, ee = {https://doi.org/10.1007/3-540-44618-4_24}, interhash = {67a4b824b290aa84bd4ee37c67810761}, intrahash = {959ac243e1da08d10447aee65dca7e41}, isbn = {3-540-67897-2}, keywords = {dblp}, pages = {320-333}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:23:10.000+0200}, title = {Reasoning about Probabilistic Lossy Channel Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2000.html#AbdullaBIJ00}, volume = 1877, year = 2000 }