%0 Conference Paper %1 conf/icfem/Zhang07 %A Zhang, Wenhui %B ICFEM %D 2007 %E Butler, Michael J. %E Hinchey, Michael G. %E Larrondo-Petrie, María M. %I Springer %K dblp %P 191-211 %T Model Checking with SAT-Based Characterization of ACTL Formulas. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2007.html#Zhang07 %V 4789 %@ 978-3-540-76648-3

@inproceedings{conf/icfem/Zhang07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Zhang, Wenhui}, biburl = {https://www.bibsonomy.org/bibtex/2560427a43f311adb5f32dacab42c253d/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2007}, editor = {Butler, Michael J. and Hinchey, Michael G. and Larrondo-Petrie, María M.}, ee = {https://doi.org/10.1007/978-3-540-76650-6_12}, interhash = {2d723cf8a6297ffd1c6a4ef8a3571f8b}, intrahash = {560427a43f311adb5f32dacab42c253d}, isbn = {978-3-540-76648-3}, keywords = {dblp}, pages = {191-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:21:24.000+0200}, title = {Model Checking with SAT-Based Characterization of ACTL Formulas.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2007.html#Zhang07}, volume = 4789, year = 2007 }