@inproceedings{DBLP:conf/vissas/FisherKL05,
  author    = {Michael Fisher and
               Boris Konev and
               Alexei Lisitsa},
  title     = {Practical Infinite-State Verification with Temporal Reasoning},
  booktitle = {Verification of Infinite-State Systems with Applications to Security,
               Proceedings of the {NATO} Advanced Research Workshop "Verification
               of Infinite State Systems with Applications to Security {VISSAS} 2005",
               Timisoara, Romania, March 17-22, 2005},
  pages     = {91--100},
  year      = {2005},
  crossref  = {DBLP:conf/vissas/2005},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vissas/FisherKL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QjvASaGtzywTZXiJm","bibbaseid":"fisher-konev-lisitsa-practicalinfinitestateverificationwithtemporalreasoning-2005","downloads":0,"creationDate":"2016-05-26T11:21:08.620Z","title":"Practical Infinite-State Verification with Temporal Reasoning","author_short":["Fisher, M.","Konev, B.","Lisitsa, A."],"year":2005,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["Alexei"],"propositions":[],"lastnames":["Lisitsa"],"suffixes":[]}],"title":"Practical Infinite-State Verification with Temporal Reasoning","booktitle":"Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop \"Verification of Infinite State Systems with Applications to Security VISSAS 2005\", Timisoara, Romania, March 17-22, 2005","pages":"91–100","year":"2005","crossref":"DBLP:conf/vissas/2005","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/vissas/FisherKL05","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/vissas/FisherKL05,\n author = {Michael Fisher and\n Boris Konev and\n Alexei Lisitsa},\n title = {Practical Infinite-State Verification with Temporal Reasoning},\n booktitle = {Verification of Infinite-State Systems with Applications to Security,\n Proceedings of the {NATO} Advanced Research Workshop \"Verification\n of Infinite State Systems with Applications to Security {VISSAS} 2005\",\n Timisoara, Romania, March 17-22, 2005},\n pages = {91--100},\n year = {2005},\n crossref = {DBLP:conf/vissas/2005},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/vissas/FisherKL05},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fisher, M.","Konev, B.","Lisitsa, A."],"key":"DBLP:conf/vissas/FisherKL05","id":"DBLP:conf/vissas/FisherKL05","bibbaseid":"fisher-konev-lisitsa-practicalinfinitestateverificationwithtemporalreasoning-2005","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["practical","infinite","state","verification","temporal","reasoning","fisher","konev","lisitsa"],"keywords":["dblp"],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}