TalTech publikatsioonid
pealdis Anier, A., Vain, J.
maakood ed
keel inglise
autor Anier, Aivo
Vain, Jüri
pealkiri Timed automata based provably correct robot control
vastutusandmed A. Anier, J. Vain
allikas BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
ilmumiskoht [Tallinn]
kirjastus/väljaandja Tallinn University of Technology
ilmumisaasta 2010
leheküljed p. 201-204 : ill
konverentsi nimetus, aeg 12th Biennial Baltic Electronics Conference, 2010
konverentsi toimumispaik Tallinn
TTÜ märksõna konverentsid
ISSN 1736-3705
ISBN 978-1-4244-7357-1
märkused Bibliogr.: 9 ref