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
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. https://www.ester.ee/record=b1052731*est