Formal specification of concurrent time-constraint programs
author
statement of authorship
Leo Mõtus
location of publication
Tallinn
publisher
year of publication
pages
lk. 267
ISBN
9985-50-140-3
notes
Bibl. 4 nim
TTÜ department
language
inglise
Mõtus, L. Formal specification of concurrent time-constraint programs // Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted. Tallinn : Teaduste Akadeemia Kirjastus, 1996. lk. 267.