{"_id":"mSwuRpTrtH8quFiYS","bibbaseid":"misra-nipkow-sekerinski-fm2006formalmethods14thinternationalsymposiumonformalmethods-2006","bibdata":{"bibtype":"book","type":"book","address":"Hamilton, Ontario, Canada","series":"Lecture Notes in Computer Science","title":"FM 2006: Formal Methods–14th International Symposium on Formal Methods","volume":"4085","publisher":"Springer","editor":[{"propositions":[],"lastnames":["Misra"],"firstnames":["Jayadev"],"suffixes":[]},{"propositions":[],"lastnames":["Nipkow"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"August","year":"2006","doi":"10.1007/11813040","bibtex":"@book{MisraNipkowSekerinski06FormalMethods,\n\taddress = {Hamilton, Ontario, Canada},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {{FM} 2006: {Formal} {Methods}–14th {International} {Symposium} on {Formal} {Methods}},\n\tvolume = {4085},\n\tpublisher = {Springer},\n\teditor = {Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil},\n\tmonth = aug,\n\tyear = {2006},\n\tdoi = {10.1007/11813040},\n}\n\n","editor_short":["Misra, J.","Nipkow, T.","Sekerinski, E."],"key":"MisraNipkowSekerinski06FormalMethods","id":"MisraNipkowSekerinski06FormalMethods","bibbaseid":"misra-nipkow-sekerinski-fm2006formalmethods14thinternationalsymposiumonformalmethods-2006","role":"editor","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"book","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","RfxodDQazHHccThPz","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["2006","formal","methods","14th","international","symposium","formal","methods"],"title":"FM 2006: Formal Methods–14th International Symposium on Formal Methods","year":2006,"downloads":1}