%0 Conference Paper %1 conf/cav/CleavelandLSS96 %A Cleaveland, Rance %A Lewis, Philip M. %A Smolka, Scott A. %A Sokolsky, Oleg %B CAV %D 1996 %E Alur, Rajeev %E Henzinger, Thomas A. %I Springer %K dblp %P 398-401 %T The Concurrency Factory: A Development Environment for Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/cav/cav96.html#CleavelandLSS96 %V 1102 %@ 3-540-61474-5

@inproceedings{conf/cav/CleavelandLSS96, added-at = {2017-06-01T00:00:00.000+0200}, author = {Cleaveland, Rance and Lewis, Philip M. and Smolka, Scott A. and Sokolsky, Oleg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2354b21a6b9707ab8660a834f18da49df/dblp}, booktitle = {CAV}, crossref = {conf/cav/1996}, editor = {Alur, Rajeev and Henzinger, Thomas A.}, ee = {https://doi.org/10.1007/3-540-61474-5_88}, interhash = {e5bc4f572e80f8ddb76267791a6e3300}, intrahash = {354b21a6b9707ab8660a834f18da49df}, isbn = {3-540-61474-5}, keywords = {dblp}, pages = {398-401}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:47:31.000+0200}, title = {The Concurrency Factory: A Development Environment for Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav96.html#CleavelandLSS96}, volume = 1102, year = 1996 }