Iván Szabolcs (SZTE): A Moore- és kaszkádrendszerek és alkalmazásaik a temporális logikára |
![]() |
|||
|
||||
|
||||
JEvents v3.1.8 Stable Copyright © 2006-2013