Model checking in pattern based control systems design

statement of authorship
Juri Vain, Juhan Ernits
source
15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts
location of publication
Barcelona
year of publication
pages
p. 112
language
inglise