Formal specification of concurrent time-constraint programs

author
statement of authorship
Leo Mõtus
location of publication
Tallinn
year of publication
pages
lk. 267
ISBN
9985-50-140-3
notes
Bibl. 4 nim
language
inglise