“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets I. B. VirbitskaiteV. A. BorovlevL. Popova-Zeugmann OriginalPaper 23 July 2016 Pages: 187 - 197
Comparison of specification decomposition methods in Event-B P. N. DevyaninV. V. KulyaminI. V. Shchepetkov OriginalPaper 23 July 2016 Pages: 198 - 205
Conflict resolution in multi-agent systems with typed relations for ontology population N. O. GaraninaE. A. SidorovaI. S. Anureev OriginalPaper 23 July 2016 Pages: 206 - 215
On fuzzy repetitions detection in documentation reuse D. V. LucivD. V. KoznovA. N. Terekhov OriginalPaper 23 July 2016 Pages: 216 - 224
Checking several requirements at once by CEGAR V. O. MordanV. S. Mutilin OriginalPaper 23 July 2016 Pages: 225 - 238
Program schemata technique for propositional program logics: A 30-year history N. V. ShilovS. O. ShilovaA. Yu. Bernshtein OriginalPaper 23 July 2016 Pages: 239 - 256