Reference : On the Relation of Programs and Computations to Models of Temporal Logic [chap. 3]
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/163845
On the Relation of Programs and Computations to Models of Temporal Logic [chap. 3]
English
Wolper, Pierre mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
1995
Time and Logic, a computational approach
Bolc, Leonard
Sza\las, Andrzej
UCL Press Limited
131--178
No
1-85728-233-7
http://hdl.handle.net/2268/163845

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.