@inproceedings{ButlerSekerinskiSere95SteamBoilerDagstuhl,
	address = {Dagstuhl, Germany},
	series = {Dagstuhl {Seminiar}-{Report}},
	title = {An {Action} {System} {Approach} to the {Steam} {Boiler} {Problem}},
	volume = {117},
	url = {http://www.dagstuhl.de/9523},
	booktitle = {Methods for {Semantics} and {Specification}},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
	author = {Butler, Michael and Sekerinski, Emil and Sere, Kaisa},
	editor = {Abrial, J.-R. and Börger, E. and Langmaack, H.},
	month = jun,
	year = {1995},
	pages = {1 -- 5},
}

{"_id":"czcZ7YdCHiKG4QWoZ","bibbaseid":"butler-sekerinski-sere-anactionsystemapproachtothesteamboilerproblem-1995","downloads":1,"creationDate":"2019-02-02T15:48:53.610Z","title":"An Action System Approach to the Steam Boiler Problem","author_short":["Butler, M.","Sekerinski, E.","Sere, K."],"year":1995,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Dagstuhl, Germany","series":"Dagstuhl Seminiar-Report","title":"An Action System Approach to the Steam Boiler Problem","volume":"117","url":"http://www.dagstuhl.de/9523","booktitle":"Methods for Semantics and Specification","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany","author":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Abrial"],"firstnames":["J.-R."],"suffixes":[]},{"propositions":[],"lastnames":["Börger"],"firstnames":["E."],"suffixes":[]},{"propositions":[],"lastnames":["Langmaack"],"firstnames":["H."],"suffixes":[]}],"month":"June","year":"1995","pages":"1 – 5","bibtex":"@inproceedings{ButlerSekerinskiSere95SteamBoilerDagstuhl,\n\taddress = {Dagstuhl, Germany},\n\tseries = {Dagstuhl {Seminiar}-{Report}},\n\ttitle = {An {Action} {System} {Approach} to the {Steam} {Boiler} {Problem}},\n\tvolume = {117},\n\turl = {http://www.dagstuhl.de/9523},\n\tbooktitle = {Methods for {Semantics} and {Specification}},\n\tpublisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},\n\tauthor = {Butler, Michael and Sekerinski, Emil and Sere, Kaisa},\n\teditor = {Abrial, J.-R. and Börger, E. and Langmaack, H.},\n\tmonth = jun,\n\tyear = {1995},\n\tpages = {1 -- 5},\n}\n\n","author_short":["Butler, M.","Sekerinski, E.","Sere, K."],"editor_short":["Abrial, J.","Börger, E.","Langmaack, H."],"key":"ButlerSekerinskiSere95SteamBoilerDagstuhl","id":"ButlerSekerinskiSere95SteamBoilerDagstuhl","bibbaseid":"butler-sekerinski-sere-anactionsystemapproachtothesteamboilerproblem-1995","role":"author","urls":{"Paper":"http://www.dagstuhl.de/9523"},"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["action","system","approach","steam","boiler","problem","butler","sekerinski","sere"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","RWydLHbBJqgdeh5jr","CvQYP6Tmpapx74Mgr"]}