Diagrammatic Specification and Verification of Mobile Real-Time Systems. Linker, S. In Bollue, K., Gückel, D., Loup, U., Spönemann, J., & Winkler, M., editors, 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, 2010. Verlagshaus Mainz, Aachen, Germany.
bibtex   
@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}
}

Downloads: 0