BibTeX record conf/dagstuhl/Polyvyanyy10

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/Polyvyanyy10,
  author       = {Artem Polyvyanyy},
  editor       = {Kai Bollue and
                  Dominique G{\"{u}}ckel and
                  Ulrich Loup and
                  Jacob Sp{\"{o}}nemann and
                  Melanie Winkler},
  title        = {Abstraction of Process Specifications},
  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        = {206},
  publisher    = {Verlagshaus Mainz, Aachen, Germany},
  year         = {2010},
  timestamp    = {Tue, 03 Mar 2020 18:40:11 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Polyvyanyy10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.