𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A higher level of behavioural specification: An example in interval temporal logic

✍ Scribed by R.D. Dowsing; R. Elliott


Publisher
Elsevier Science
Year
1991
Weight
991 KB
Volume
32
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.