%0 Journal Article %1 journals/fmsd/KupfermanV01 %A Kupferman, Orna %A Vardi, Moshe Y. %D 2001 %J Formal Methods Syst. Des. %K dblp %N 3 %P 291-314 %T Model Checking of Safety Properties. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#KupfermanV01 %V 19

@article{journals/fmsd/KupfermanV01, added-at = {2020-03-13T00:00:00.000+0100}, author = {Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/25932611f3d865950aff78591242a3a15/dblp}, ee = {https://www.wikidata.org/entity/Q64410838}, interhash = {3545324b82471419ac205c5a5d76936e}, intrahash = {5932611f3d865950aff78591242a3a15}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {291-314}, timestamp = {2020-03-14T11:51:41.000+0100}, title = {Model Checking of Safety Properties.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#KupfermanV01}, volume = 19, year = 2001 }