No full text
Collective work published as editor or director (Books)
Computer-Aided Verification, Proc. 7th Int. Conference
Wolper, Pierre
1995Springer-Verlag
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Editor :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Computer-Aided Verification, Proc. 7th Int. Conference
Publication date :
1995
Publisher :
Springer-Verlag
ISBN/EAN :
3-540-60045-0
Collection name :
Lecture Notes in Computer Science, vol. 939
Available on ORBi :
since 16 March 2014

Statistics


Number of views
32 (0 by ULiège)
Number of downloads
0 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi