%0 Conference Paper %1 conf/fct/GirkarM93 %A Girkar, Mahesh %A Moll, Robert %B FCT %D 1993 %E Ésik, Zoltán %I Springer %K dblp %P 256-265 %T Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/fct/fct93.html#GirkarM93 %V 710 %@ 3-540-57163-9

@inproceedings{conf/fct/GirkarM93, added-at = {2017-05-17T00:00:00.000+0200}, author = {Girkar, Mahesh and Moll, Robert}, biburl = {https://www.bibsonomy.org/bibtex/295acf6fef2d64179cf9d4f49b02f3825/dblp}, booktitle = {FCT}, crossref = {conf/fct/1993}, editor = {Ésik, Zoltán}, ee = {https://doi.org/10.1007/3-540-57163-9_21}, interhash = {3608de0b5c9c3b0fb9c6f99b0ac8dbc2}, intrahash = {95acf6fef2d64179cf9d4f49b02f3825}, isbn = {3-540-57163-9}, keywords = {dblp}, pages = {256-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:30:01.000+0200}, title = {Vector Sequence Analysis and Full Weak Safety for Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct93.html#GirkarM93}, volume = 710, year = 1993 }