Mechanical abstraction of CSP-Z processes

Alexandre Mota, Paulo Borba, Augusto Sampaio
2002
Type
Conference paper
Publication
11th Formal Methods Europe (FME 2002)
comments powered by Disqus