BibTeX record conf/apn/GeP14

download as .bib file

@inproceedings{DBLP:conf/apn/GeP14,
  author    = {Ning Ge and
               Marc Pantel},
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {Real-Time Property Specific Reduction for Time Petri Net},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1160},
  pages     = {165--179},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160/paper10.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/GeP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics