BibTeX record conf/appt/HouZCLL13

• > Home > conf/appt/HouZCLL13

@inproceedings{DBLP:conf/appt/HouZCLL13,
  author       = {Gang Hou and
                  Kuanjiu Zhou and
                  Junwang Chang and
                  Rui Li and
                  Mingchu Li},
  editor       = {Chenggang Wu and
                  Albert Cohen},
  title        = {Interrupt Modeling and Verification for Embedded Systems Based on
                  Time Petri Nets},
  booktitle    = {Advanced Parallel Processing Technologies - 10th International Symposium,
                  {APPT} 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8299},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45293-2\_5},
  doi          = {10.1007/978-3-642-45293-2\_5},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/appt/HouZCLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}