{"_id":"9AxszjStawZwjp8PQ","bibbaseid":"albert-sekerinski-integratedformalmethods11thinternationalconferenceifm2014bertinoroitaly-2014","bibdata":{"bibtype":"book","type":"book","series":"Lecture Notes in Computer Science","title":"Integrated Formal Methods–11th International Conference, IFM 2014, Bertinoro, Italy","volume":"8739","publisher":"Springer","editor":[{"propositions":[],"lastnames":["Albert"],"firstnames":["Elvira"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"September","year":"2014","doi":"10.1007/978-3-319-10181-1","bibtex":"@book{AlbertSekerinski14iFM,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Integrated {Formal} {Methods}–11th {International} {Conference}, {IFM} 2014, {Bertinoro}, {Italy}},\n\tvolume = {8739},\n\tpublisher = {Springer},\n\teditor = {Albert, Elvira and Sekerinski, Emil},\n\tmonth = sep,\n\tyear = {2014},\n\tdoi = {10.1007/978-3-319-10181-1},\n}\n\n","editor_short":["Albert, E.","Sekerinski, E."],"key":"AlbertSekerinski14iFM","id":"AlbertSekerinski14iFM","bibbaseid":"albert-sekerinski-integratedformalmethods11thinternationalconferenceifm2014bertinoroitaly-2014","role":"editor","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"book","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","RWydLHbBJqgdeh5jr","CvQYP6Tmpapx74Mgr"],"keywords":[],"search_terms":["integrated","formal","methods","11th","international","conference","ifm","2014","bertinoro","italy"],"title":"Integrated Formal Methods–11th International Conference, IFM 2014, Bertinoro, Italy","year":2014,"downloads":1}