@inproceedings{SekerinskiZhang10FinitaryFairness,
	title = {Finitary {Fairness} in {Event}-{B} ({Extended} {Abstract})},
	copyright = {http://drops.dagstuhl.de/portals/09381/},
	url = {https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang10FinitaryFairness.pdf},
	doi = {10.4230/DagSemProc.09381.1},
	booktitle = {Dagstuhl {Seminar} on {Refinement} {Based} {Methods} for the {Construction} of {Dependable} {Systems}},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
	author = {Sekerinski, Emil and Zhang, Tian},
	editor = {Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajeev and Troubitsyna, Elena and Woodcock, Jim C. P.},
	month = jan,
	year = {2010},
	pages = {1-- 5},
}

{"_id":"7bgMv6D6H9FDtD39P","bibbaseid":"sekerinski-zhang-finitaryfairnessineventbextendedabstract-2010","author_short":["Sekerinski, E.","Zhang, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Finitary Fairness in Event-B (Extended Abstract)","copyright":"http://drops.dagstuhl.de/portals/09381/","url":"https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang10FinitaryFairness.pdf","doi":"10.4230/DagSemProc.09381.1","booktitle":"Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Tian"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Abrial"],"firstnames":["Jean-Raymond"],"suffixes":[]},{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Joshi"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Troubitsyna"],"firstnames":["Elena"],"suffixes":[]},{"propositions":[],"lastnames":["Woodcock"],"firstnames":["Jim","C.","P."],"suffixes":[]}],"month":"January","year":"2010","pages":"1– 5","bibtex":"@inproceedings{SekerinskiZhang10FinitaryFairness,\n\ttitle = {Finitary {Fairness} in {Event}-{B} ({Extended} {Abstract})},\n\tcopyright = {http://drops.dagstuhl.de/portals/09381/},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang10FinitaryFairness.pdf},\n\tdoi = {10.4230/DagSemProc.09381.1},\n\tbooktitle = {Dagstuhl {Seminar} on {Refinement} {Based} {Methods} for the {Construction} of {Dependable} {Systems}},\n\tpublisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},\n\tauthor = {Sekerinski, Emil and Zhang, Tian},\n\teditor = {Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajeev and Troubitsyna, Elena and Woodcock, Jim C. P.},\n\tmonth = jan,\n\tyear = {2010},\n\tpages = {1-- 5},\n}\n\n","author_short":["Sekerinski, E.","Zhang, T."],"editor_short":["Abrial, J.","Butler, M.","Joshi, R.","Troubitsyna, E.","Woodcock, J. C. P."],"key":"SekerinskiZhang10FinitaryFairness","id":"SekerinskiZhang10FinitaryFairness","bibbaseid":"sekerinski-zhang-finitaryfairnessineventbextendedabstract-2010","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang10FinitaryFairness.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["finitary","fairness","event","extended","abstract","sekerinski","zhang"],"title":"Finitary Fairness in Event-B (Extended Abstract)","year":2010,"downloads":1}