Overview of VDM-RT Constructs and Semantic Issues. Lausdahl, K., Verhoef, M., Larsen, P. G., & Wolff, S. In Pierce, K., Plat, N., & Wolf, S., editors, Proceedings of the 8th Overture Workshop, of Technical Report Series, pages 57–67, September, 2010.
![Overview of VDM-RT Constructs and Semantic Issues [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 1 download
Paper bibtex 1 download @inproceedings{Lausdahl&10,
author = {Kenneth Lausdahl and Marcel Verhoef and
Peter Gorm Larsen and Sune Wolff},
booktitle = {Proceedings of the 8th Overture Workshop},
editor = {Ken Pierce and Nico Plat and Sune Wolf},
key = {Lausdahl\&10},
month = {September},
number = {CS-TR-1224},
pages = {57--67},
series = {Technical Report Series},
title = {{Overview of VDM-RT Constructs and Semantic Issues}},
year = {2010},
URL = "Lausdahl&10.pdf",
}
%----------------------
% G VDM COSIM TOOLDownloads: 1
{"_id":{"_str":"51f5e029a57e92543f00057e"},"__v":29,"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.","Verhoef, M.","Larsen, P. G.","Wolff, S."],"bibbaseid":"lausdahl-verhoef-larsen-wolff-overviewofvdmrtconstructsandsemanticissues-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]}],"booktitle":"Proceedings of the 8th Overture Workshop","editor":[{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolf"],"suffixes":[]}],"key":"Lausdahl&10","month":"September","number":"CS-TR-1224","pages":"57–67","series":"Technical Report Series","title":"Overview of VDM-RT Constructs and Semantic Issues","year":"2010","url":"Lausdahl&10.pdf","bibtex":"@inproceedings{Lausdahl&10,\r\n author = {Kenneth Lausdahl and Marcel Verhoef and\r\n Peter Gorm Larsen and Sune Wolff},\r\n booktitle = {Proceedings of the 8th Overture Workshop},\r\n editor = {Ken Pierce and Nico Plat and Sune Wolf},\r\n key = {Lausdahl\\&10},\r\n month = {September},\r\n number = {CS-TR-1224},\r\n pages = {57--67},\r\n series = {Technical Report Series},\r\n title = {{Overview of VDM-RT Constructs and Semantic Issues}},\r\n year = {2010},\r\n URL = \"Lausdahl&10.pdf\",\r\n}\r\n\r\n\r\n%----------------------\r\n% G VDM COSIM TOOL\r\n","author_short":["Lausdahl, K.","Verhoef, M.","Larsen, P. G.","Wolff, S."],"editor_short":["Pierce, K.","Plat, N.","Wolf, S."],"id":"Lausdahl&10","bibbaseid":"lausdahl-verhoef-larsen-wolff-overviewofvdmrtconstructsandsemanticissues-2010","role":"author","urls":{"Paper":"blog.lausdahl.com/wp-content/uploads/publications/Lausdahl&10.pdf"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.bib","downloads":1,"keywords":[],"search_terms":["overview","vdm","constructs","semantic","issues","lausdahl","verhoef","larsen","wolff"],"title":"Overview of VDM-RT Constructs and Semantic Issues","title_words":["overview","vdm","constructs","semantic","issues"],"year":2010,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","maALzmZwmtEEh8pXx","nGw4dfQFrDZqKC8vj"]}