BibTeX record conf/ictac/SherifHCS04

download as .bib file

@inproceedings{DBLP:conf/ictac/SherifHCS04,
  author    = {Adnan Sherif and
               Jifeng He and
               Ana Cavalcanti and
               Augusto Sampaio},
  editor    = {Zhiming Liu and
               Keijiro Araki},
  title     = {A Framework for Specification and Validation of Real-Time Systems
               Using \emph{Circus} Actions},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
               Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3407},
  pages     = {478--493},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-31862-0\_34},
  doi       = {10.1007/978-3-540-31862-0\_34},
  timestamp = {Mon, 21 Mar 2022 11:35:03 +0100},
  biburl    = {https://dblp.org/rec/conf/ictac/SherifHCS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics