@INPROCEEDINGS{Verhoef&06b,
  KEY           = "Verhoef\&06",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman",
  EDITOR        = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",
  TITLE         = "{Modeling and Validating Distributed Embedded
                    Real-Time Systems with VDM++}",
  BOOKTITLE     = "FM 2006: Formal Methods",
  SERIES        = "Lecture Notes in Computer Science 4085",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "2006",
  PAGES         = "147-162",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)",
  doi		= {10.1007/11813040\_11},
}

%G VICE VDM VDM++ OVERTURE

{"_id":{"_str":"53bb0d3b7cc42ee75e0014ad"},"__v":0,"authorIDs":[],"author_short":["Verhoef, M.","Larsen, P. G.","Hooman, J."],"bibbaseid":"verhoef-larsen-hooman-modelingandvalidatingdistributedembeddedrealtimesystemswithvdm-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Verhoef&06b","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Jozef"],"propositions":[],"lastnames":["Hooman"],"suffixes":[]}],"editor":[{"firstnames":["Jayadev"],"propositions":[],"lastnames":["Misra"],"suffixes":[]},{"firstnames":["Tobias"],"propositions":[],"lastnames":["Nipkow"],"suffixes":[]},{"firstnames":["Emil"],"propositions":[],"lastnames":["Sekerinski"],"suffixes":[]}],"title":"Modeling and Validating Distributed Embedded Real-Time Systems with VDM++","booktitle":"FM 2006: Formal Methods","series":"Lecture Notes in Computer Science 4085","publisher":"Springer-Verlag","year":"2006","pages":"147-162","annote":"","comment":"I have the sources (PGL)","doi":"10.1007/11813040_11","bibtex":"@INPROCEEDINGS{Verhoef&06b,\n KEY = \"Verhoef\\&06\",\n AUTHOR = \"Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman\",\n EDITOR = \"Jayadev Misra and Tobias Nipkow and Emil Sekerinski\",\n TITLE = \"{Modeling and Validating Distributed Embedded\n Real-Time Systems with VDM++}\",\n BOOKTITLE = \"FM 2006: Formal Methods\",\n SERIES = \"Lecture Notes in Computer Science 4085\",\n PUBLISHER = \"Springer-Verlag\",\n YEAR = \"2006\",\n PAGES = \"147-162\",\n ANNOTE = \"\",\n COMMENT = \"I have the sources (PGL)\",\n doi\t\t= {10.1007/11813040\\_11},\n}\n\n%G VICE VDM VDM++ OVERTURE\n","author_short":["Verhoef, M.","Larsen, P. G.","Hooman, J."],"editor_short":["Misra, J.","Nipkow, T.","Sekerinski, E."],"id":"Verhoef&06b","bibbaseid":"verhoef-larsen-hooman-modelingandvalidatingdistributedembeddedrealtimesystemswithvdm-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-07T21:12:27.998Z","downloads":0,"keywords":[],"search_terms":["modeling","validating","distributed","embedded","real","time","systems","vdm","verhoef","larsen","hooman"],"title":"Modeling and Validating Distributed Embedded Real-Time Systems with VDM++","year":2006,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}