Search results for: Natalia Sidorova
Information Systems > 2018 > 77 > C > 105-117
Business & Information Systems Engineering > 2019 > 61 > 6 > 649-663
Journal of Intelligent Information Systems > 2019 > 52 > 1 > 107-139
2017 IEEE 19th Conference on Business Informatics (CBI) > 1 > 109 - 118
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 1-15
Lecture Notes in Computer Science > Business Process Management > Formal Foundations of BPM > 320-327
Lecture Notes in Computer Science > Business Process Management Workshops > ProHealth Workshop > 359-370
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 337-356
Lecture Notes in Computer Science > Software Composition > Languages > 106-121
Lecture Notes in Computer Science > Model Checking Software > Abstraction and Symbolic Methods > 198-215
Lecture Notes in Computer Science > Business Process Management > Dynamic Process Management > 225-240
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking Tools > 363-377
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2008 > New Tendencies and Approaches > 898-913
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 250-267
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 164-183