@inproceedings{DBLP:conf/dagstuhl/Linker10,
  author       = {Sven Linker},
  editor       = {Kai Bollue and
                  Dominique G{\"{u}}ckel and
                  Ulrich Loup and
                  Jacob Sp{\"{o}}nemann and
                  Melanie Winkler},
  title        = {Diagrammatic Specification and Verification of Mobile Real-Time Systems},
  booktitle    = {Proceedings of the Joint Workshop of the German Research Training
                  Groups in Computer Science, Algorithmic synthesis of reactive and
                  discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
  pages        = {53},
  publisher    = {Verlagshaus Mainz, Aachen, Germany},
  year         = {2010},
  timestamp    = {Tue, 03 Mar 2020 17:20:41 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Linker10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"P4Af6oB64WNALFKYx","bibbaseid":"linker-diagrammaticspecificationandverificationofmobilerealtimesystems-2010","author_short":["Linker, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"editor":[{"firstnames":["Kai"],"propositions":[],"lastnames":["Bollue"],"suffixes":[]},{"firstnames":["Dominique"],"propositions":[],"lastnames":["Gückel"],"suffixes":[]},{"firstnames":["Ulrich"],"propositions":[],"lastnames":["Loup"],"suffixes":[]},{"firstnames":["Jacob"],"propositions":[],"lastnames":["Spönemann"],"suffixes":[]},{"firstnames":["Melanie"],"propositions":[],"lastnames":["Winkler"],"suffixes":[]}],"title":"Diagrammatic Specification and Verification of Mobile Real-Time Systems","booktitle":"Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010","pages":"53","publisher":"Verlagshaus Mainz, Aachen, Germany","year":"2010","timestamp":"Tue, 03 Mar 2020 17:20:41 +0100","biburl":"https://dblp.org/rec/conf/dagstuhl/Linker10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dagstuhl/Linker10,\n author = {Sven Linker},\n editor = {Kai Bollue and\n Dominique G{\\\"{u}}ckel and\n Ulrich Loup and\n Jacob Sp{\\\"{o}}nemann and\n Melanie Winkler},\n title = {Diagrammatic Specification and Verification of Mobile Real-Time Systems},\n booktitle = {Proceedings of the Joint Workshop of the German Research Training\n Groups in Computer Science, Algorithmic synthesis of reactive and\n discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},\n pages = {53},\n publisher = {Verlagshaus Mainz, Aachen, Germany},\n year = {2010},\n timestamp = {Tue, 03 Mar 2020 17:20:41 +0100},\n biburl = {https://dblp.org/rec/conf/dagstuhl/Linker10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Linker, S."],"editor_short":["Bollue, K.","Gückel, D.","Loup, U.","Spönemann, J.","Winkler, M."],"key":"DBLP:conf/dagstuhl/Linker10","id":"DBLP:conf/dagstuhl/Linker10","bibbaseid":"linker-diagrammaticspecificationandverificationofmobilerealtimesystems-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["diagrammatic","specification","verification","mobile","real","time","systems","linker"],"title":"Diagrammatic Specification and Verification of Mobile Real-Time Systems","year":2010}