%0 Conference Paper %1 conf/forte/MadelaineV91a %A Madelaine, Eric %A Vergamini, Didier %B FORTE %D 1991 %E Parker, Ken R. %E Rose, Gordon A. %I North-Holland %K dblp %P 495-510 %T Specification and Verification of a Sliding Window Protocol in LOTOS. %U http://dblp.uni-trier.de/db/conf/forte/forte1991.html#MadelaineV91a %V C-2 %@ 0-444-89402-0

@inproceedings{conf/forte/MadelaineV91a, added-at = {2002-01-03T00:00:00.000+0100}, author = {Madelaine, Eric and Vergamini, Didier}, biburl = {https://www.bibsonomy.org/bibtex/21e0d6b559d627398abc3e4e895ea7741/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1991}, date = {2002-01-03}, description = {dblp}, editor = {Parker, Ken R. and Rose, Gordon A.}, interhash = {6ce0d5547a976d92503241a070e774bc}, intrahash = {1e0d6b559d627398abc3e4e895ea7741}, isbn = {0-444-89402-0}, keywords = {dblp}, pages = {495-510}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Specification and Verification of a Sliding Window Protocol in LOTOS.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1991.html#MadelaineV91a}, volume = {C-2}, year = 1991 }