BibTeX records: Alexander Schulz 0003

• > Home > Persons > Alexander Schulz 0003

@inproceedings{DBLP:conf/gg/Padberg016,
  author       = {Julia Padberg and
                  Alexander Schulz},
  editor       = {Rachid Echahed and
                  Mark Minas},
  title        = {Model Checking Reconfigurable Petri Nets with Maude},
  booktitle    = {Graph Transformation - 9th International Conference, {ICGT} 2016,
                  in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria,
                  July 5-6, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9761},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40530-8\_4},
  doi          = {10.1007/978-3-319-40530-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Padberg016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/PadbergS14,
  author       = {Julia Padberg and
                  Alexander Schulz},
  title        = {Towards Model Checking Reconfigurable Petri Nets using Maude},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {68},
  year         = {2014},
  url          = {https://doi.org/10.14279/tuj.eceasst.68.953},
  doi          = {10.14279/TUJ.ECEASST.68.953},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Schulz14,
  author       = {Alexander Schulz},
  title        = {Model Checking for reconfigurable Petri nets},
  journal      = {CoRR},
  volume       = {abs/1409.8404},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.8404},
  eprinttype    = {arXiv},
  eprint       = {1409.8404},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Schulz14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}