Factorizing Proofs in Timed {CSP}
Jim Davies and Steve Schneider
Details
| Crossref |
DBLP:conf/mfps/1989 |
| Pages |
129-159 |
| Year |
1989 |
Links
Related pages
|
People |
www.comlab.ox.ac.uk/publications/publication2237-abstract.html