Modelovacie formalizmy udalostných systémov
Juhás Gabriel ; E050 
Bratislava : RT Systems, 2011 . - 112 s
ISBN 978-80970519-1-4
učebnica
ACB - Vysokoškolské učebnice vydané v domácich vydavateľstvách
P1 - Pedagogický výstup publikačnej činnosti ako celok