@TECHREPORT{Lausdahl&13a,
  KEY           	= "Lausdahl\&13a",
  AUTHOR        	= "Kenneth Lausdahl and Joey W. Coleman and Peter Gorm Larsen",
  TITLE         	= "{Semantics of the VDM Real-Time Dialect}",
  INSTITUTION  		= "Aarhus University",
  YEAR          	= "2013",
  MONTH         	= "April",
  NUMBER        	= "{ECE-TR-13}"}

{"_id":{"_str":"527987635e011a4c4b0004d5"},"__v":27,"authorIDs":["3KfERZfjKGcWKBnsY","3xKKvaQP3SCr9iaij","4ZGdnfrz8CmYsYeWa","5458a974b43425b772000187","5deaa24003c11ade01000033","5decfc353d02efdf010000a5","5dfb8e1c749b8bde0100002e","5e0ce1e26762d1de01000145","5e14416712768ef301000118","5e14677a0467fede01000095","5e1934e686b4aade01000008","5e1a3b7e3a430ede01000073","5e1ac9c5ff975cf201000092","5e1adc695f3d2cdf01000023","5e1bb8cb61cb16df010000e2","5e269b26f3bb7ddf01000001","5e2da43e732e89de01000007","5e445a92df3c2af301000193","5e52ac666a3abede01000026","5e55ab6f7d0846de0100009f","5e5629db05e404e401000197","5e5fb31119c3fade0100018f","5e600e3d13e3aede01000204","5e62ab2208ebcade0100016b","5e646fd3e1ac00de010000c0","5rCJDxakFezcBjMh7","7tTMW2Ag7kzYnDjv9","7zvcGWi8vmEXwgr4z","8Zw2rNCBuJK7MsBgj","8eotCSzZZ2kmeD3GY","8ni6FsXPD3wYBMeHw","Dc34oECBHyEwpv7mF","F7MYvy83ixrCWnduX","FjgQ2oyfaAjjLarzd","HAf2bQQMBfPw4PscJ","KeECrTRLiCrYPoyb5","MpYWLFiPQr4AB8Di7","NtxQ9SSTQrELYyARd","QDxjGbzzz8ieD9DDR","QTMj2jsKMSS8DPnui","RuqboAEC8viueLPs5","SHYGdZ6qizeXHx7Ki","TPRQJJi9cLqKrn2ZD","ZJc2RcS8ZkLmDjaoW","ZPzGDgZxZSzhXERzp","Zf4X8SYM6RCmADxfj","ZzQj6vCdfvELyPjgj","bzunJEvhSCePprnRD","dn3QGKKFGBamh6kvA","eRAztJSJSes5m4aeA","exMbRrbm8dtBzw6PL","ka9xuGki2xtZkwrGS","mKutoobkwgyNn8XWT","maQMWqAygyxv8j6QD","pAME5vNJ7b7XfhtbB","q8A2nn9imQhk49Z8z","qHLxzPFCKE7mD5oKK","so8G66cEiQZa9KniD","systYuKbnJxuFaX34","toxJQ8Rgt7cak46Zb","ukAZCLawgKmFHn7X8","wYAtgTYNnmh723Q3D","yvAZGrAMBEvZdn2xz"],"author_short":["Lausdahl, K.","Coleman, J. W.","Larsen, P. G."],"bibbaseid":"lausdahl-coleman-larsen-semanticsofthevdmrealtimedialect-2013","bibdata":{"bibtype":"techreport","type":"techreport","key":"Lausdahl&13a","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Joey","W."],"propositions":[],"lastnames":["Coleman"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Semantics of the VDM Real-Time Dialect","institution":"Aarhus University","year":"2013","month":"April","number":"ECE-TR-13","bibtex":"@TECHREPORT{Lausdahl&13a,\n KEY \t= \"Lausdahl\\&13a\",\n AUTHOR \t= \"Kenneth Lausdahl and Joey W. Coleman and Peter Gorm Larsen\",\n TITLE \t= \"{Semantics of the VDM Real-Time Dialect}\",\n INSTITUTION \t\t= \"Aarhus University\",\n YEAR \t= \"2013\",\n MONTH \t= \"April\",\n NUMBER \t= \"{ECE-TR-13}\"}\n\n","author_short":["Lausdahl, K.","Coleman, J. W.","Larsen, P. G."],"id":"Lausdahl&13a","bibbaseid":"lausdahl-coleman-larsen-semanticsofthevdmrealtimedialect-2013","role":"author","urls":{},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":4},"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","downloads":4,"keywords":[],"search_terms":["semantics","vdm","real","time","dialect","lausdahl","coleman","larsen"],"title":"Semantics of the VDM Real-Time Dialect","year":2013,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","Ys3ykPbs2mksSbLyZ","maALzmZwmtEEh8pXx"]}