%0 Journal Article %1 journals/fac/ChakiCOSS05 %A Chaki, Sagar %A Clarke, Edmund M. %A Ouaknine, Joël %A Sharygina, Natasha %A Sinha, Nishant %D 2005 %J Formal Asp. Comput. %K dblp %N 4 %P 461-483 %T Concurrent software verification with states, events, and deadlocks. %U http://dblp.uni-trier.de/db/journals/fac/fac17.html#ChakiCOSS05 %V 17

@article{journals/fac/ChakiCOSS05, added-at = {2006-01-17T00:00:00.000+0100}, author = {Chaki, Sagar and Clarke, Edmund M. and Ouaknine, Joël and Sharygina, Natasha and Sinha, Nishant}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21d1ad50ebec540185c994c5ae3486257/dblp}, ee = {http://dx.doi.org/10.1007/s00165-005-0071-z}, interhash = {2f521a78dcb61aa96032bf0f7758bddf}, intrahash = {1d1ad50ebec540185c994c5ae3486257}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 4, pages = {461-483}, timestamp = {2016-02-02T10:13:53.000+0100}, title = {Concurrent software verification with states, events, and deadlocks.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac17.html#ChakiCOSS05}, volume = 17, year = 2005 }