187 | -- | 197 | I. B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann. "Truly concurrent" and nondeterministic semantics of discrete-time Petri nets |
198 | -- | 205 | Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov. Comparison of specification decomposition methods in Event-B |
206 | -- | 215 | Natalya Olegovna Garanina, Elena A. Sidorova, Igor S. Anureev. Conflict resolution in multi-agent systems with typed relations for ontology population |
216 | -- | 224 | Dmitry Luciv, Dmitrij Koznov, Hamid Abdul Basit, Andrey N. Terekhov. On fuzzy repetitions detection in documentation reuse |
225 | -- | 238 | Vitaly O. Mordan, Vadim S. Mutilin. Checking several requirements at once by CEGAR |
239 | -- | 256 | Nikolay V. Shilov, S. O. Shilova, A. Yu. Bernshtein. Program schemata technique for propositional program logics: A 30-year history |