Dilsun Kaynar

The Theory of Timed I/O Automata, Second Edition

Подробнее