From post

Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock.

, , , , , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 133-152. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock., , , , , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 133-152. Springer, (1995)The semantics and implementation of machine-readable CSP.. University of Oxford, UK, (1998)British Library, EThOS.