BibTeX records: Jan Bretschneider

download as .bib file

@article{DBLP:journals/topnoc/StahlMB09,
  author    = {Christian Stahl and
               Peter Massuthe and
               Jan Bretschneider},
  title     = {Deciding Substitutability of Services with Operating Guidelines},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {2},
  pages     = {172--191},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_10},
  doi       = {10.1007/978-3-642-00899-3\_10},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/StahlMB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReisigBFLMS07,
  author    = {Wolfgang Reisig and
               Jan Bretschneider and
               Dirk Fahland and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl},
  title     = {Services as a Paradigm of Computation},
  booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  pages     = {521--538},
  year      = {2007},
  crossref  = {DBLP:conf/birthday/2007bz},
  url       = {https://doi.org/10.1007/978-3-540-75221-9\_25},
  doi       = {10.1007/978-3-540-75221-9\_25},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/ReisigBFLMS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ReisigWBKLMS07,
  author    = {Wolfgang Reisig and
               Karsten Wolf and
               Jan Bretschneider and
               Kathrin Kaschner and
               Niels Lohmann and
               Peter Massuthe and
               Christian Stahl},
  title     = {Challenges in a Service-Oriented World},
  journal   = {{ERCIM} News},
  volume    = {2007},
  number    = {70},
  year      = {2007},
  url       = {http://ercim-news.ercim.eu/challenges-in-a-service-oriented-world},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/ReisigWBKLMS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-2,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst},
  title     = {Transactions on Petri Nets and Other Models of Concurrency II, Special
               Issue on Concurrency in Process-Aware Information Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5460},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3},
  doi       = {10.1007/978-3-642-00899-3},
  isbn      = {978-3-642-00898-6},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2009-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007bz,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  series    = {Lecture Notes in Computer Science},
  volume    = {4700},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75221-9},
  doi       = {10.1007/978-3-540-75221-9},
  isbn      = {978-3-540-75220-2},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2007bz},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier