Efficient reduction of finite state model checking to reachability analysis. Schuppan, V. & Biere, A. STTT, 5(2-3):185-204, 2004. Link bibtex @article{ DBLP:journals/sttt/SchuppanB04,
author = {Viktor Schuppan and Armin Biere},
title = {Efficient reduction of finite state model checking to reachability analysis},
journal = {STTT},
pages = {185-204},
volume = {5},
number = {2-3},
ee = {http://www.springerlink.com/index/10.1007/s10009-003-0121-x},
year = {2004}
}
Downloads: 0
{"_id":{"_str":"520982e8a9e4b91d2f0002dd"},"__v":12,"authorIDs":["54593b80b43425b7720003cb","54771d7bcb4bf04e3900161a"],"author_short":["Schuppan, V.","Biere, A."],"bibbaseid":"schuppan-biere-efficientreductionoffinitestatemodelcheckingtoreachabilityanalysis-2004","bibdata":{"author":["Schuppan, Viktor","Biere, Armin"],"author_short":["Schuppan, V.","Biere, A."],"bibtex":"@article{ DBLP:journals/sttt/SchuppanB04,\n author = {Viktor Schuppan and Armin Biere},\n title = {Efficient reduction of finite state model checking to reachability analysis},\n journal = {STTT},\n pages = {185-204},\n volume = {5},\n number = {2-3},\n ee = {http://www.springerlink.com/index/10.1007/s10009-003-0121-x},\n year = {2004}\n}","bibtype":"article","ee":"http://www.springerlink.com/index/10.1007/s10009-003-0121-x","id":"DBLP:journals/sttt/SchuppanB04","journal":"STTT","key":"DBLP:journals/sttt/SchuppanB04","number":"2-3","pages":"185-204","title":"Efficient reduction of finite state model checking to reachability analysis","type":"article","volume":"5","year":"2004","bibbaseid":"schuppan-biere-efficientreductionoffinitestatemodelcheckingtoreachabilityanalysis-2004","role":"author","urls":{"Link":"http://www.springerlink.com/index/10.1007/s10009-003-0121-x"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://data.bibbase.org/journal/sttt/?format=bibtex","downloads":0,"keywords":[],"search_terms":["efficient","reduction","finite","state","model","checking","reachability","analysis","schuppan","biere"],"title":"Efficient reduction of finite state model checking to reachability analysis","title_words":["efficient","reduction","finite","state","model","checking","reachability","analysis"],"year":2004,"dataSources":["XzvbeWJjp4bCy6SKA"]}