1 - 2 out of 2Page size: 10
  1. 2020

  2. Testing Equivalences of Time Petri Nets

    Bozhenkova, E. N. & Virbitskaite, I. B., 1 Jul 2020, In: Programming and Computer Software. 46, 4, p. 251-260 10 p.

    Research output: Contribution to journal › Article › peer-review

  3. 2019

  4. Causality-Based Testing in Time Petri Nets

    Bozhenkova, E., Virbitskaite, I. & Popova-Zeugmann, L., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 252-261 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

ID: 3432792