BibTeX records: Pavel Vasilyev

• > Home > Persons > Pavel Vasilyev

@article{DBLP:journals/jucs/SlissenkoV08,
  author       = {Anatol Slissenko and
                  Pavel Vasilyev},
  title        = {Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {14},
  number       = {12},
  pages        = {1984--2006},
  year         = {2008},
  url          = {https://doi.org/10.3217/jucs-014-12-1984},
  doi          = {10.3217/JUCS-014-12-1984},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/SlissenkoV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Vasilyev06,
  author       = {Pavel Vasilyev},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Simulator for Real-Time Abstract State Machines},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {337--351},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_24},
  doi          = {10.1007/11867340\_24},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Vasilyev06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Vasilyev06,
  author       = {Pavel Vasilyev},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Simulator for Real-Time Abstract State Machines},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {202--205},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Vasilyev06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}