@MISC{Larsen&10h,
	key			= "Larsen\&10",
	AUTHOR		="Peter Gorm Larsen and Kenneth Lausdahl",
	TITLE		="{Overture/VDM Tools Status}",
	HOWPUBLISHED="{Handout at SEFM20 Tool Workshop}",
	MONTH		="September",
	YEAR		="2010",
	NOTE		="Second edition"}
	
%G VDM OVERTURE

{"_id":{"_str":"53b6a8ce7cc42ee75e000211"},"__v":0,"authorIDs":[],"author_short":["Larsen, P. G.","Lausdahl, K."],"bibbaseid":"larsen-lausdahl-overturevdmtoolsstatus-2010","bibdata":{"bibtype":"misc","type":"misc","key":"Larsen&10h","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]}],"title":"Overture/VDM Tools Status","howpublished":"Handout at SEFM20 Tool Workshop","month":"September","year":"2010","note":"Second edition","bibtex":"@MISC{Larsen&10h,\n\tkey\t\t\t= \"Larsen\\&10\",\n\tAUTHOR\t\t=\"Peter Gorm Larsen and Kenneth Lausdahl\",\n\tTITLE\t\t=\"{Overture/VDM Tools Status}\",\n\tHOWPUBLISHED=\"{Handout at SEFM20 Tool Workshop}\",\n\tMONTH\t\t=\"September\",\n\tYEAR\t\t=\"2010\",\n\tNOTE\t\t=\"Second edition\"}\n\t\n%G VDM OVERTURE\n","author_short":["Larsen, P. G.","Lausdahl, K."],"id":"Larsen&10h","bibbaseid":"larsen-lausdahl-overturevdmtoolsstatus-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"misc","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.647Z","downloads":0,"keywords":[],"search_terms":["overture","vdm","tools","status","larsen","lausdahl"],"title":"Overture/VDM Tools Status","year":2010,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}