Formal specification of concurrent time-constraint programs

autor
vastutusandmed
Leo Mõtus
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
lk. 267
ISBN
9985-50-140-3
märkused
Bibl. 4 nim
keel
inglise