%0 Journal Article %1 chaki_05_concurrent %A Chaki, Sagar %A Clarke, Edmund %A Ouaknine, Joël %A Sharygina, Natasha %A Sinha, Nishant %D 2005 %J Formal Aspects of Computing %K model\_checking concurrent\_systems 2005 verification \_pdf %N 4 %P 461--483 %R http://dx.doi.org/10.1007/s00165-005-0071-z %T Concurrent software verification with states, events, and deadlocks %U http://dx.doi.org/10.1007/s00165-005-0071-z %V V17

@article{chaki_05_concurrent, added-at = {2009-03-10T04:51:31.000+0100}, author = {Chaki, Sagar and Clarke, Edmund and Ouaknine, Jo\"{e}l and Sharygina, Natasha and Sinha, Nishant}, biburl = {https://www.bibsonomy.org/bibtex/2d849dcac3f635f1506fdbfa6ad4c789b/leonardo}, citeulike-article-id = {888063}, doi = {http://dx.doi.org/10.1007/s00165-005-0071-z}, interhash = {91cdcb96a66868ae54e335ac52d51c01}, intrahash = {d849dcac3f635f1506fdbfa6ad4c789b}, journal = {Formal Aspects of Computing}, keywords = {model\_checking concurrent\_systems 2005 verification \_pdf}, month = {December}, number = 4, pages = {461--483}, posted-at = {2006-10-07 02:46:42}, priority = {4}, timestamp = {2009-03-10T04:51:31.000+0100}, title = {Concurrent software verification with states, events, and deadlocks}, url = {http://dx.doi.org/10.1007/s00165-005-0071-z}, volume = {V17}, year = 2005 }