{"_id":"JPavhB66JQRtepeja","bibbaseid":"artho-lveczky-formaltechniquesforsafetycriticalsystemssecondinternationalworkshopftscs2013queenstownnewzealandoctober29302013revisedselectedpapers-2014","downloads":0,"creationDate":"2019-04-18T17:57:32.685Z","title":"Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers","author_short":null,"year":2014,"bibtype":"proceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/k/Khamespanah:Ehsan.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Cyrille"],"propositions":[],"lastnames":["Artho"],"suffixes":[]},{"firstnames":["Peter","Csaba"],"propositions":[],"lastnames":["Ölveczky"],"suffixes":[]}],"title":"Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers","series":"Communications in Computer and Information Science","volume":"419","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-05416-2","doi":"10.1007/978-3-319-05416-2","isbn":"978-3-319-05415-5","timestamp":"Wed, 24 May 2017 08:30:54 +0200","biburl":"https://dblp.org/rec/bib/conf/ftscs/2013","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/ftscs/2013,\n editor = {Cyrille Artho and\n Peter Csaba {\\\"{O}}lveczky},\n title = {Formal Techniques for Safety-Critical Systems - Second International\n Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.\n Revised Selected Papers},\n series = {Communications in Computer and Information Science},\n volume = {419},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-05416-2},\n doi = {10.1007/978-3-319-05416-2},\n isbn = {978-3-319-05415-5},\n timestamp = {Wed, 24 May 2017 08:30:54 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ftscs/2013},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Artho, C.","Ölveczky, P. C."],"key":"DBLP:conf/ftscs/2013","id":"DBLP:conf/ftscs/2013","bibbaseid":"artho-lveczky-formaltechniquesforsafetycriticalsystemssecondinternationalworkshopftscs2013queenstownnewzealandoctober29302013revisedselectedpapers-2014","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-05416-2"},"downloads":0},"search_terms":["formal","techniques","safety","critical","systems","second","international","workshop","ftscs","2013","queenstown","new","zealand","october","2013","revised","selected","papers"],"keywords":[],"authorIDs":[],"dataSources":["Wd5MJaXFGyG7LWe8B"]}