@proceedings{atva-14,
  editor    = {Franck Cassez and
               Jean-François Raskin},
  title     = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  series    = lncs,
  volume    = {8837},
  publisher = springv,
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-11936-6},
  doi       = {10.1007/978-3-319-11936-6},
  show = {},
  category = {Proceedings (Editor)},
  isbn      = {978-3-319-11935-9},
  Type = {D - Conference Proceedings},
}

{"_id":"9YgLz86oJoi3CQWR8","bibbaseid":"cassez-raskin-automatedtechnologyforverificationandanalysis12thinternationalsymposiumatva2014sydneynswaustralianovember372014proceedings-2014","bibdata":{"bibtype":"proceedings","type":"D - Conference Proceedings","editor":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]}],"title":"Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings","series":"LNCS","volume":"8837","publisher":"Springer","year":"2014","url":"http://dx.doi.org/10.1007/978-3-319-11936-6","doi":"10.1007/978-3-319-11936-6","show":"","category":"Proceedings (Editor)","isbn":"978-3-319-11935-9","bibtex":"@proceedings{atva-14,\n editor = {Franck Cassez and\n Jean-François Raskin},\n title = {Automated Technology for Verification and Analysis - 12th International\n Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,\n Proceedings},\n series = lncs,\n volume = {8837},\n publisher = springv,\n year = {2014},\n url = {http://dx.doi.org/10.1007/978-3-319-11936-6},\n doi = {10.1007/978-3-319-11936-6},\n show = {},\n category = {Proceedings (Editor)},\n isbn = {978-3-319-11935-9},\n Type = {D - Conference Proceedings},\n}\n\n\n","editor_short":["Cassez, F.","Raskin, J."],"key":"atva-14","id":"atva-14","bibbaseid":"cassez-raskin-automatedtechnologyforverificationandanalysis12thinternationalsymposiumatva2014sydneynswaustralianovember372014proceedings-2014","role":"editor","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-11936-6"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":[],"search_terms":["automated","technology","verification","analysis","12th","international","symposium","atva","2014","sydney","nsw","australia","november","2014","proceedings"],"title":"Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings","year":2014}