Reference : Computer-Aided Verification, Proc. 7th Int. Conference
Books : Collective work published as editor or director
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/164271
Computer-Aided Verification, Proc. 7th Int. Conference
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
Springer-Verlag
Lecture Notes in Computer Science, vol. 939
939
3-540-60045-0
http://hdl.handle.net/2268/164271

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.