Automated verification of szymanski's algorithm

No full text

Contribution to collective works (Parts of books)

Gribomont, Pascal; Zenner, Guy

1998 • In Tools and Algorithms for the Construction and Analysis of Systems

Peer reviewed

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

No document available.

Disciplines :

Computer science

Author, co-author :

Gribomont, Pascal ; Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle

Zenner, Guy

Language :

English

Title :

Automated verification of szymanski's algorithm

Publication date :

1998

Main work title :

Tools and Algorithms for the Construction and Analysis of Systems

Publisher :

Springer

Collection name :

Lecture Notes in Computer Science

Pages :

424-438

Peer reviewed :

Peer reviewed

Available on ORBi :

since 31 July 2015

Number of views

57 (0 by ULiège)

Number of downloads

0 (0 by ULiège)