Search results for: Andrey Mokhov
Formal Methods in System Design > 2018 > 53 > 3 > 407-431
Formal Aspects of Computing > 2017 > 29 > 2 > 251-307
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Tool Papers > 505-514
Journal of Volcanology and Geothermal Research > 2015 > 307 > C > 200-209
International Journal of Circuit Theory and Applications > 43 > 10 > 1243 - 1262