%0 Conference Paper %1 conf/pstv/BarnardC95 %A Barnard, Dieter %A Crosby, Simon %B PSTV %D 1995 %E Dembinski, Piotr %E Sredniawa, Marek %I Chapman & Hall %K dblp %P 155-170 %T The specification and verification of an experimental ATM signalling protocol. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1995.html#BarnardC95 %V 38 %@ 0-412-71620-8

@inproceedings{conf/pstv/BarnardC95, added-at = {2002-01-03T00:00:00.000+0100}, author = {Barnard, Dieter and Crosby, Simon}, biburl = {https://www.bibsonomy.org/bibtex/23d9e756007ba90f9ac3a95fd5e9ce1c2/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1995}, date = {2002-01-03}, description = {dblp}, editor = {Dembinski, Piotr and Sredniawa, Marek}, interhash = {74d949790ab72ba3ff5138fed06ab7f6}, intrahash = {3d9e756007ba90f9ac3a95fd5e9ce1c2}, isbn = {0-412-71620-8}, keywords = {dblp}, pages = {155-170}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {The specification and verification of an experimental ATM signalling protocol.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1995.html#BarnardC95}, volume = 38, year = 1995 }