![](/img/cover-not-exists.png)
Separating Non-Determinisic Finite State Machines with Time-Outs
Rustam Galimullin,Natalia ShabaldinaYear:
2011
Language:
english
Journal:
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering
DOI:
10.0000/cyberleninka.ru/article/n/separating-non-determinisic-finite-state-machines-with-time-outs
File:
PDF, 224 KB
english, 2011