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 |
Jim Davies and Steve Schneider
| Crossref |
DBLP:conf/mfps/1989 |
| Pages |
129−159 |
| Year |
1989 |
|
People |