%0 Conference Paper %1 CES86 %A Clarke, E.M. %A Emerson, E.A. %A Sistla, A.P. %B TOPLAS %D 1986 %K %T Automatic Verification of finite-state Concurrent systems using temporal logic specification

@inproceedings{CES86, added-at = {2010-10-27T03:34:03.000+0200}, author = {Clarke, E.M. and Emerson, E.A. and Sistla, A.P.}, biburl = {https://www.bibsonomy.org/bibtex/244b7d61e853705896cd62f9e5484876f/liangzk}, booktitle = {TOPLAS}, interhash = {ac4857a46de7087e19a7b38ec9e88379}, intrahash = {44b7d61e853705896cd62f9e5484876f}, keywords = {}, timestamp = {2010-10-27T03:34:03.000+0200}, title = {Automatic Verification of finite-state Concurrent systems using temporal logic specification}, year = 1986 }