%0 Journal Article %1 KestenPnueli99VerificationByAugmentedFinitaryAbstraction %A Kesten, Yonit %A Pnueli, Amir %D 1999 %J Information and Computation %K abstraction completeness concurrent infinite_state liveness verification %P 2000 %T Verification by Augmented Finitary Abstraction %V 163

@article{KestenPnueli99VerificationByAugmentedFinitaryAbstraction, added-at = {2010-05-05T17:01:51.000+0200}, author = {Kesten, Yonit and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2cf6ec82154b3bc998c8ae28e0eb73999/giuliano.losa}, interhash = {05435d0e1ce599eb9d2131cae05e9ce0}, intrahash = {cf6ec82154b3bc998c8ae28e0eb73999}, journal = {Information and Computation}, keywords = {abstraction completeness concurrent infinite_state liveness verification}, pages = 2000, timestamp = {2010-05-05T17:01:51.000+0200}, title = {Verification by Augmented Finitary Abstraction}, volume = 163, year = 1999 }