How to Make a Simple Tool for Verification of Real-Time Systems (bibtex)
by I.V. Konnov, V.V. Podymov, D.Yu. Volkanov, V.A. Zakharov, D.A. Zorin
Reference:
How to Make a Simple Tool for Verification of Real-Time SystemsI.V. Konnov, V.V. Podymov, D.Yu. Volkanov, V.A. Zakharov, D.A. ZorinAutomatic Control and Computer Sciences, volume 48, number 7, pages 534-542, 2014, Allerton Press.
Bibtex Entry:
@article{Konnov2014:MAIS,
  author    = {Konnov, I.V. and Podymov, V.V.
      and Volkanov, D.Yu. and Zakharov, V.A. and Zorin,D.A.},
  title     = {How to Make a Simple Tool for Verification of Real-Time Systems},
  journal   = {Automatic Control and Computer Sciences},
  volume    = {48},
  number    = {7},
  year      = {2014},
  pages     = {534--542},
  publisher =    {Allerton Press},
  issn="1558-108X",
  doi={10.3103/S0146411614070232}
}
Powered by bibtexbrowser