Process Algebra in PVS (1999)

Cached

Download Links

by Twan Basten , Jozef Hooman
Venue:Proc. of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), volume 1579 of Lecture Notes in Computer Science
Citations:9 - 0 self