Bendik, J. Et Al. 2022. TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING. LOGICAL METHODS IN COMPUTER SCIENCE , vol.18, no.3 .

Bendik, J., Sencan, A., AYDIN GÖL, E., & Cerna, I., (2022). TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING. LOGICAL METHODS IN COMPUTER SCIENCE , vol.18, no.3.

Bendik, Jaroslav Et Al. "TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING," LOGICAL METHODS IN COMPUTER SCIENCE , vol.18, no.3, 2022

Bendik, Jaroslav Et Al. "TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING." LOGICAL METHODS IN COMPUTER SCIENCE , vol.18, no.3, 2022

Bendik, J. Et Al. (2022) . "TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING." LOGICAL METHODS IN COMPUTER SCIENCE , vol.18, no.3.

@article{article, author={Jaroslav Bendik Et Al. }, title={TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING}, journal={LOGICAL METHODS IN COMPUTER SCIENCE}, year=2022}