@INPROCEEDINGS{Hasanagic&16,
  KEY           = "Hasanagic\&16",
  AUTHOR        = "Miran Hasanagi\'{c} and Peter W. V. Tran-J\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{Formalising and Validating the Interface Description in the FMI standard}",
 BOOKTITLE     = "{The 21st International Symposium on Formal Methods (FM 2016)}",
 year =         "2016",
  MONTH         = "November",
	URL           = {http://www.springer.com/gp/book/9783319489889},
  COMMENT       = ""}

{"_id":"y6YFCfPXSMeLCt6pC","bibbaseid":"hasanagi-tranjrgensen-lausdahl-larsen-formalisingandvalidatingtheinterfacedescriptioninthefmistandard-2016","author_short":["Hasanagić, M.","Tran-Jørgensen, P. W. V.","Lausdahl, K.","Larsen, P. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Hasanagic&16","author":[{"firstnames":["Miran"],"propositions":[],"lastnames":["Hasanagić"],"suffixes":[]},{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Formalising and Validating the Interface Description in the FMI standard","booktitle":"The 21st International Symposium on Formal Methods (FM 2016)","year":"2016","month":"November","url":"http://www.springer.com/gp/book/9783319489889","comment":"","bibtex":"@INPROCEEDINGS{Hasanagic&16,\r\n KEY = \"Hasanagic\\&16\",\r\n AUTHOR = \"Miran Hasanagi\\'{c} and Peter W. V. Tran-J\\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen\",\r\n TITLE = \"{Formalising and Validating the Interface Description in the FMI standard}\",\r\n BOOKTITLE = \"{The 21st International Symposium on Formal Methods (FM 2016)}\",\r\n year = \"2016\",\r\n MONTH = \"November\",\r\n\tURL = {http://www.springer.com/gp/book/9783319489889},\r\n COMMENT = \"\"}\r\n \r\n \r\n ","author_short":["Hasanagić, M.","Tran-Jørgensen, P. W. V.","Lausdahl, K.","Larsen, P. G."],"id":"Hasanagic&16","bibbaseid":"hasanagi-tranjrgensen-lausdahl-larsen-formalisingandvalidatingtheinterfacedescriptioninthefmistandard-2016","role":"author","urls":{"Paper":"http://www.springer.com/gp/book/9783319489889"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.bib","dataSources":["o4zfqwm7cQsSnyzzT","HtWEJcCHFxSnPZdyr","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj","maALzmZwmtEEh8pXx"],"keywords":[],"search_terms":["formalising","validating","interface","description","fmi","standard","hasanagić","tran-jørgensen","lausdahl","larsen"],"title":"Formalising and Validating the Interface Description in the FMI standard","year":2016}