@book{MousaviSekerinski09FMDS,
	title = {Proceedings of {Formal} {Methods} 2009 {Doctoral} {Symposium}},
	url = {http://www.win.tue.nl/fm2009/DoctoralSymposium/fm09ds.pdf},
	publisher = {TU Eindhoven},
	editor = {Mousavi, MohammadReza and Sekerinski, Emil},
	month = nov,
	year = {2009},
}

{"_id":"DyQ97NrJQS8T28Hxp","bibbaseid":"mousavi-sekerinski-proceedingsofformalmethods2009doctoralsymposium-2009","bibdata":{"bibtype":"book","type":"book","title":"Proceedings of Formal Methods 2009 Doctoral Symposium","url":"http://www.win.tue.nl/fm2009/DoctoralSymposium/fm09ds.pdf","publisher":"TU Eindhoven","editor":[{"propositions":[],"lastnames":["Mousavi"],"firstnames":["MohammadReza"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"November","year":"2009","bibtex":"@book{MousaviSekerinski09FMDS,\n\ttitle = {Proceedings of {Formal} {Methods} 2009 {Doctoral} {Symposium}},\n\turl = {http://www.win.tue.nl/fm2009/DoctoralSymposium/fm09ds.pdf},\n\tpublisher = {TU Eindhoven},\n\teditor = {Mousavi, MohammadReza and Sekerinski, Emil},\n\tmonth = nov,\n\tyear = {2009},\n}\n\n","editor_short":["Mousavi, M.","Sekerinski, E."],"key":"MousaviSekerinski09FMDS","id":"MousaviSekerinski09FMDS","bibbaseid":"mousavi-sekerinski-proceedingsofformalmethods2009doctoralsymposium-2009","role":"editor","urls":{"Paper":"http://www.win.tue.nl/fm2009/DoctoralSymposium/fm09ds.pdf"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"book","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","RfxodDQazHHccThPz","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["proceedings","formal","methods","2009","doctoral","symposium"],"title":"Proceedings of Formal Methods 2009 Doctoral Symposium","year":2009,"downloads":3}