Computer-Aided Verification, Proc. 7th Int. Conference

No full text

Collective work published as editor or director (Books)

Wolper, Pierre

1995 • Springer-Verlag

Permalink
https://hdl.handle.net/2268/164271

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

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

36 (0 by ULiège)

Number of downloads

0 (0 by ULiège)

More statistics