Formal specification of concurrent time-constraint programs
Mõtus, Leo
Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted
1996
/
lk. 267
https://www.ester.ee/record=b1052731*est