@book{SekerinskiEtAl20FMWS1,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Formal {Methods}. {FM} 2019 {International} {Workshops} - {Porto}, {Portugal}, {October} 7-11, 2019, {Revised} {Selected} {Papers}, {Part} {I}},
	volume = {12232},
	isbn = {978-3-030-54993-0},
	url = {https://doi.org/10.1007/978-3-030-54994-7},
	publisher = {Springer},
	editor = {Sekerinski, Emil and Moreira, Nelma and Oliveira, José N. and Ratiu, Daniel and Guidotti, Riccardo and Farrell, Marie and Luckcuck, Matt and Marmsoler, Diego and Campos, José and Astarte, Troy and Gonnord, Laure and Cerone, Antonio and Couto, Luis and Dongol, Brijesh and Kutrib, Martin and Monteiro, Pedro and Delmas, David},
	year = {2020},
	doi = {10.1007/978-3-030-54994-7},
}

{"_id":"SCCYrK3fA2DkmbQ5j","bibbaseid":"sekerinski-moreira-oliveira-ratiu-guidotti-farrell-luckcuck-marmsoler-etal-formalmethodsfm2019internationalworkshopsportoportugaloctober7112019revisedselectedpapersparti-2020","bibdata":{"bibtype":"book","type":"book","series":"Lecture Notes in Computer Science","title":"Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I","volume":"12232","isbn":"978-3-030-54993-0","url":"https://doi.org/10.1007/978-3-030-54994-7","publisher":"Springer","editor":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Moreira"],"firstnames":["Nelma"],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["José","N."],"suffixes":[]},{"propositions":[],"lastnames":["Ratiu"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Guidotti"],"firstnames":["Riccardo"],"suffixes":[]},{"propositions":[],"lastnames":["Farrell"],"firstnames":["Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Luckcuck"],"firstnames":["Matt"],"suffixes":[]},{"propositions":[],"lastnames":["Marmsoler"],"firstnames":["Diego"],"suffixes":[]},{"propositions":[],"lastnames":["Campos"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Astarte"],"firstnames":["Troy"],"suffixes":[]},{"propositions":[],"lastnames":["Gonnord"],"firstnames":["Laure"],"suffixes":[]},{"propositions":[],"lastnames":["Cerone"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":[],"lastnames":["Couto"],"firstnames":["Luis"],"suffixes":[]},{"propositions":[],"lastnames":["Dongol"],"firstnames":["Brijesh"],"suffixes":[]},{"propositions":[],"lastnames":["Kutrib"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Monteiro"],"firstnames":["Pedro"],"suffixes":[]},{"propositions":[],"lastnames":["Delmas"],"firstnames":["David"],"suffixes":[]}],"year":"2020","doi":"10.1007/978-3-030-54994-7","bibtex":"@book{SekerinskiEtAl20FMWS1,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Formal {Methods}. {FM} 2019 {International} {Workshops} - {Porto}, {Portugal}, {October} 7-11, 2019, {Revised} {Selected} {Papers}, {Part} {I}},\n\tvolume = {12232},\n\tisbn = {978-3-030-54993-0},\n\turl = {https://doi.org/10.1007/978-3-030-54994-7},\n\tpublisher = {Springer},\n\teditor = {Sekerinski, Emil and Moreira, Nelma and Oliveira, José N. and Ratiu, Daniel and Guidotti, Riccardo and Farrell, Marie and Luckcuck, Matt and Marmsoler, Diego and Campos, José and Astarte, Troy and Gonnord, Laure and Cerone, Antonio and Couto, Luis and Dongol, Brijesh and Kutrib, Martin and Monteiro, Pedro and Delmas, David},\n\tyear = {2020},\n\tdoi = {10.1007/978-3-030-54994-7},\n}\n\n","editor_short":["Sekerinski, E.","Moreira, N.","Oliveira, J. N.","Ratiu, D.","Guidotti, R.","Farrell, M.","Luckcuck, M.","Marmsoler, D.","Campos, J.","Astarte, T.","Gonnord, L.","Cerone, A.","Couto, L.","Dongol, B.","Kutrib, M.","Monteiro, P.","Delmas, D."],"key":"SekerinskiEtAl20FMWS1","id":"SekerinskiEtAl20FMWS1","bibbaseid":"sekerinski-moreira-oliveira-ratiu-guidotti-farrell-luckcuck-marmsoler-etal-formalmethodsfm2019internationalworkshopsportoportugaloctober7112019revisedselectedpapersparti-2020","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-030-54994-7"},"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","rRazdBuE63ZLofRun","Nbe8oQSLcMDKvKKWt","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["formal","methods","2019","international","workshops","porto","portugal","october","2019","revised","selected","papers","part"],"title":"Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I","year":2020}