{"_id":"g8htNHjnv7BAybLQt","bibbaseid":"cassez-jard-formalmodelingandanalysisoftimedsystems6thinternationalconferenceformats2008saintmalofranceseptember15172008proceedings-2008","bibdata":{"bibtype":"proceedings","type":"D - Conference Proceedings","editor":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Claude"],"propositions":[],"lastnames":["Jard"],"suffixes":[]}],"title":"Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings","series":"Lecture Notes in Computer Science","volume":"5215","publisher":"Springer","year":"2008","isbn":"978-3-540-85777-8","timestamp":"Fri, 05 Sep 2008 08:05:45 +0200","biburl":"http://dblp.uni-trier.de/rec/bib/conf/formats/2008","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{cassez-formats-2008,\n editor = {Franck Cassez and\n Claude Jard},\n title = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,\n {FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {5215},\n publisher = springv,\n year = {2008},\n isbn = {978-3-540-85777-8},\n Type = {D - Conference Proceedings},\n\n timestamp = {Fri, 05 Sep 2008 08:05:45 +0200},\n biburl = {http://dblp.uni-trier.de/rec/bib/conf/formats/2008},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n\n","editor_short":["Cassez, F.","Jard, C."],"key":"cassez-formats-2008","id":"cassez-formats-2008","bibbaseid":"cassez-jard-formalmodelingandanalysisoftimedsystems6thinternationalconferenceformats2008saintmalofranceseptember15172008proceedings-2008","role":"editor","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":[],"search_terms":["formal","modeling","analysis","timed","systems","6th","international","conference","formats","2008","saint","malo","france","september","2008","proceedings"],"title":"Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings","year":2008}