%0 Conference Paper %1 conf/fm/MartinJ97 %A Martin, J. M. R. %A Jassim, S. A. %B FME %D 1997 %E Fitzgerald, John S. %E Jones, Cliff B. %E Lucas, Peter %I Springer %K dblp %P 418-441 %T An Efficient Technique for Deadlock Analysis of Large Scale Process Networks. %U http://dblp.uni-trier.de/db/conf/fm/fme1997.html#MartinJ97 %V 1313 %@ 3-540-63533-5

@inproceedings{conf/fm/MartinJ97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Martin, J. M. R. and Jassim, S. A.}, biburl = {https://www.bibsonomy.org/bibtex/24d871c6170b0aeb2176ea584e95ae589/dblp}, booktitle = {FME}, crossref = {conf/fm/1997}, editor = {Fitzgerald, John S. and Jones, Cliff B. and Lucas, Peter}, ee = {https://doi.org/10.1007/3-540-63533-5_22}, interhash = {de6eebbff53fe791c930e266bdec99db}, intrahash = {4d871c6170b0aeb2176ea584e95ae589}, isbn = {3-540-63533-5}, keywords = {dblp}, pages = {418-441}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:59:42.000+0200}, title = {An Efficient Technique for Deadlock Analysis of Large Scale Process Networks.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1997.html#MartinJ97}, volume = 1313, year = 1997 }