A Combined Toolset for the Verification of Real-Time Distributed Systems (bibtex)
by D.Yu. Volkanov, V.A. Zakharov, D.A. Zorin, V.V. Podymov, I.V. Konnov
Reference:
A Combined Toolset for the Verification of Real-Time Distributed SystemsD.Yu. Volkanov, V.A. Zakharov, D.A. Zorin, V.V. Podymov, I.V. KonnovProgramming and Computer Software, volume 41, number 6, pages 325-335, 2015.
Bibtex Entry:
@article{Konnov2015:PROG,
  author    = {Volkanov,D.Yu. and Zakharov,V.A. and Zorin,D.A. and Podymov,V.V. and Konnov,I.V.},
  title     = {A Combined Toolset for the Verification
        of Real-Time Distributed Systems},
  journal   = {Programming and Computer Software},
  volume    = {41},
  number    = {6},
  year      = {2015},
  pages     = {325--335},
  issn="1608-3261",
  doi="10.1134/S0361768815060080"
}
Powered by bibtexbrowser