%0 Conference Paper %1 conf/cav/Kaivola97 %A Kaivola, Roope %B CAV %D 1997 %E Grumberg, Orna %I Springer %K dblp %P 48-59 %T Using Compositional Preorders in the Verification of Sliding Window Protocal. %U http://dblp.uni-trier.de/db/conf/cav/cav97.html#Kaivola97 %V 1254 %@ 3-540-63166-6

@inproceedings{conf/cav/Kaivola97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Kaivola, Roope}, biburl = {https://www.bibsonomy.org/bibtex/2c960ff20d51ca6251570df629a7bbe44/dblp}, booktitle = {CAV}, crossref = {conf/cav/1997}, editor = {Grumberg, Orna}, ee = {https://doi.org/10.1007/3-540-63166-6_8}, interhash = {0143fff018599f15a53713f1678db0c7}, intrahash = {c960ff20d51ca6251570df629a7bbe44}, isbn = {3-540-63166-6}, keywords = {dblp}, pages = {48-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:45.000+0200}, title = {Using Compositional Preorders in the Verification of Sliding Window Protocal.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav97.html#Kaivola97}, volume = 1254, year = 1997 }