@INPROCEEDINGS{Hasanagic&15,
  KEY           = {Hasanagic\&15},
  AUTHOR        = "Miran Hasanagic and Peter Gorm Larsen and Peter W.V.\
                   Tran-J\o{}rgensen",
  TITLE         = "{Generating Java RMI for the distributed aspects of VDM-RT models}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "75-89",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL FMI INTOCPSPUB

{"_id":"qDjZ6PsW2od5Ghtiz","bibbaseid":"hasanagic-larsen-tranjrgensen-generatingjavarmiforthedistributedaspectsofvdmrtmodels-2015","downloads":0,"creationDate":"2015-06-29T10:05:17.404Z","title":"Generating Java RMI for the distributed aspects of VDM-RT models","author_short":["Hasanagic, M.","Larsen, P. G.","Tran-Jørgensen, P. W."],"year":2015,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Hasanagic&15","author":[{"firstnames":["Miran"],"propositions":[],"lastnames":["Hasanagic"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Peter","W.V.\\"],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]}],"title":"Generating Java RMI for the distributed aspects of VDM-RT models","booktitle":"Proceedings of the 13th Overture Workshop","publisher":"Center for Global Research in Advanced Software Science and Engineering","address":"National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan","year":"2015","month":"June","pages":"75-89","note":"GRACE-TR-2015-06","url":"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Hasanagic&15,\n KEY = {Hasanagic\\&15},\n AUTHOR = \"Miran Hasanagic and Peter Gorm Larsen and Peter W.V.\\\n Tran-J\\o{}rgensen\",\n TITLE = \"{Generating Java RMI for the distributed aspects of VDM-RT models}\",\n BOOKTITLE = \"Proceedings of the 13th Overture Workshop\",\n PUBLISHER = \"Center for Global Research in Advanced Software Science\n and Engineering\",\n ADDRESS = \"National Institute of Informatics, 2-1-2 Hitotsubashi,\n Chiyoda-Ku, Tokyo, Japan\",\n YEAR = \"2015\",\n MONTH = \"June\",\n PAGES = \"75-89\",\n NOTE = \"GRACE-TR-2015-06\",\n URL = \"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL FMI INTOCPSPUB\n","author_short":["Hasanagic, M.","Larsen, P. G.","Tran-Jørgensen, P. W."],"id":"Hasanagic&15","bibbaseid":"hasanagic-larsen-tranjrgensen-generatingjavarmiforthedistributedaspectsofvdmrtmodels-2015","role":"author","urls":{"Paper":"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["generating","java","rmi","distributed","aspects","vdm","models","hasanagic","larsen","tran-jørgensen"],"keywords":[],"authorIDs":[],"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB"]}