BibTeX record conf/apn/Klai14

• > Home > conf/apn/Klai14

@inproceedings{DBLP:conf/apn/Klai14,
  author       = {Kais Klai},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke},
  title        = {On-The-Fly Model Checking of Times Properties on Time Petri Nets},
  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        = {35--53},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1160/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:39 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/Klai14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}