@proceedings{DBLP:conf/vissas/2005,
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {1-58603-570-3},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vissas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HLNaRJfmuyoxyhf6e","bibbaseid":"clarke-minea-tiplea-verificationofinfinitestatesystemswithapplicationstosecurityproceedingsofthenatoadvancedresearchworkshopverificationofinfinitestatesystemswithapplicationstosecurityvissas2005timisoararomaniamarch17222005-2006","downloads":0,"creationDate":"2018-09-03T10:39:12.011Z","title":"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","author_short":null,"year":2006,"bibtype":"proceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Edmund","M."],"propositions":[],"lastnames":["Clarke"],"suffixes":[]},{"firstnames":["Marius"],"propositions":[],"lastnames":["Minea"],"suffixes":[]},{"firstnames":["Ferucio","Laurentiu"],"propositions":[],"lastnames":["Tiplea"],"suffixes":[]}],"title":"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","series":"NATO Security through Science Series D: Information and Communication Security","volume":"1","publisher":"IOS Press","year":"2006","isbn":"1-58603-570-3","timestamp":"Thu, 07 Sep 2006 10:46:10 +0200","biburl":"https://dblp.org/rec/bib/conf/vissas/2005","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/vissas/2005,\n editor = {Edmund M. Clarke and\n Marius Minea and\n Ferucio Laurentiu Tiplea},\n title = {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 series = {{NATO} Security through Science Series {D:} Information and Communication\n Security},\n volume = {1},\n publisher = {{IOS} Press},\n year = {2006},\n isbn = {1-58603-570-3},\n timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},\n biburl = {https://dblp.org/rec/bib/conf/vissas/2005},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Clarke, E. M.","Minea, M.","Tiplea, F. L."],"key":"DBLP:conf/vissas/2005","id":"DBLP:conf/vissas/2005","bibbaseid":"clarke-minea-tiplea-verificationofinfinitestatesystemswithapplicationstosecurityproceedingsofthenatoadvancedresearchworkshopverificationofinfinitestatesystemswithapplicationstosecurityvissas2005timisoararomaniamarch17222005-2006","role":"editor","urls":{},"downloads":0,"html":""},"search_terms":["verification","infinite","state","systems","applications","security","proceedings","nato","advanced","research","workshop","verification","infinite","state","systems","applications","security","vissas","2005","timisoara","romania","march","2005"],"keywords":[],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}