Search results for: Nina Yevtushenko
Automatic Control and Computer Sciences > 2017 > 51 > 7 > 724-730
Formal Aspects of Computing > 2018 > 30 > 2 > 319-332
Information Processing Letters > 2017 > 127 > C > 49-53
Applied Soft Computing > 2016 > 49 > C > 1175-1184
Lecture Notes in Computer Science > Testing of Communicating Systems > Automata-Based Methodology > 129-145
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 185-198
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 215-224
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 129-145
Lecture Notes in Computer Science > Testing of Communicating Systems > Automata-Based Methodology > 197-210
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 204-218
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 66-80