![](/img/cover-not-exists.png)
Verification-Oriented Process Ontology
Garanina, N. O., Anureev, I. S., Borovikova, O. I.Volume:
53
Journal:
Automatic Control and Computer Sciences
DOI:
10.3103/S0146411619070058
Date:
December, 2019
File:
PDF, 1.12 MB
2019