Liveness Checking as Safety Checking for Infinite State Spaces. Schuppan, V. & Biere, A. Electr. Notes Theor. Comput. Sci., 149(1):79-96, 2006. Link bibtex @article{ DBLP:journals/entcs/SchuppanB06,
author = {Viktor Schuppan and Armin Biere},
title = {Liveness Checking as Safety Checking for Infinite State Spaces},
journal = {Electr. Notes Theor. Comput. Sci.},
pages = {79-96},
volume = {149},
number = {1},
ee = {http://dx.doi.org/10.1016/j.entcs.2005.11.018},
year = {2006}
}
Downloads: 0
{"_id":{"_str":"520982e7a9e4b91d2f0002d6"},"__v":11,"authorIDs":["54593b80b43425b7720003cb","54771d7bcb4bf04e3900161a"],"author_short":["Schuppan, V.","Biere, A."],"bibbaseid":"schuppan-biere-livenesscheckingassafetycheckingforinfinitestatespaces-2006","bibdata":{"author":["Schuppan, Viktor","Biere, Armin"],"author_short":["Schuppan, V.","Biere, A."],"bibtex":"@article{ DBLP:journals/entcs/SchuppanB06,\n author = {Viktor Schuppan and Armin Biere},\n title = {Liveness Checking as Safety Checking for Infinite State Spaces},\n journal = {Electr. Notes Theor. Comput. Sci.},\n pages = {79-96},\n volume = {149},\n number = {1},\n ee = {http://dx.doi.org/10.1016/j.entcs.2005.11.018},\n year = {2006}\n}","bibtype":"article","ee":"http://dx.doi.org/10.1016/j.entcs.2005.11.018","id":"DBLP:journals/entcs/SchuppanB06","journal":"Electr. Notes Theor. Comput. Sci.","key":"DBLP:journals/entcs/SchuppanB06","number":"1","pages":"79-96","title":"Liveness Checking as Safety Checking for Infinite State Spaces","type":"article","volume":"149","year":"2006","bibbaseid":"schuppan-biere-livenesscheckingassafetycheckingforinfinitestatespaces-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.entcs.2005.11.018"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/journal/electr-notes-theor-comput-sci/?format=bibtex","downloads":0,"keywords":[],"search_terms":["liveness","checking","safety","checking","infinite","state","spaces","schuppan","biere"],"title":"Liveness Checking as Safety Checking for Infinite State Spaces","title_words":["liveness","checking","safety","infinite","state","spaces"],"year":2006,"dataSources":["SirnMa56jyKdiDMtT"]}