%0 Conference Paper %1 conf/psls/Berthomieu95 %A Berthomieu, Bernard %B PSLS %D 1995 %E Ito, Takayasu %E Jr., Robert H. Halstead %E Queinnec, Christian %I Springer %K dblp %P 344-361 %T Process Calculi at Work - An Account of the LCS Project. %U http://dblp.uni-trier.de/db/conf/psls/psls1995.html#Berthomieu95 %V 1068 %@ 3-540-61143-6

@inproceedings{conf/psls/Berthomieu95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Berthomieu, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2178b24058e1803c7983c2ad81ab26d81/dblp}, booktitle = {PSLS}, crossref = {conf/psls/1995}, editor = {Ito, Takayasu and Jr., Robert H. Halstead and Queinnec, Christian}, ee = {https://doi.org/10.1007/BFb0023073}, interhash = {60dc172d45ca30c23176b429e8c27041}, intrahash = {178b24058e1803c7983c2ad81ab26d81}, isbn = {3-540-61143-6}, keywords = {dblp}, pages = {344-361}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:05:03.000+0200}, title = {Process Calculi at Work - An Account of the LCS Project.}, url = {http://dblp.uni-trier.de/db/conf/psls/psls1995.html#Berthomieu95}, volume = 1068, year = 1995 }