%0 Journal Article %1 8889 %A Apt, K R %A Kozen, D C %C Amsterdam, The Netherlands, The Netherlands %D 1986 %I Elsevier North-Holland, Inc. %J Inf. Process. Lett. %K concurrent decidability parameterized verification %N 6 %P 307--309 %R http://dx.doi.org/10.1016/0020-0190(86)90071-2 %T Limits for automatic verification of finite-state concurrent systems %U http://portal.acm.org/citation.cfm?id=8889 %V 22

@article{8889, added-at = {2010-01-07T16:07:01.000+0100}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Apt, K R and Kozen, D C}, biburl = {https://www.bibsonomy.org/bibtex/213b49262002ec06fe23d819c8667eb33/giuliano.losa}, description = {Limits for automatic verification of finite-state concurrent systems}, doi = {http://dx.doi.org/10.1016/0020-0190(86)90071-2}, interhash = {427f3f2e1e72cc7a25f25b8c79f7e092}, intrahash = {13b49262002ec06fe23d819c8667eb33}, issn = {0020-0190}, journal = {Inf. Process. Lett.}, keywords = {concurrent decidability parameterized verification}, number = 6, pages = {307--309}, publisher = {Elsevier North-Holland, Inc.}, timestamp = {2010-01-12T11:41:15.000+0100}, title = {Limits for automatic verification of finite-state concurrent systems}, url = {http://portal.acm.org/citation.cfm?id=8889}, volume = 22, year = 1986 }