Published in
Springer Verlag, Lecture Notes in Computer Science, p. 129-159
DOI: 10.1007/bfb0040256
Links
Tools
Factorizing proofs in timed CSP
Book chapter published in 2006 by
Jim Davies,
Steve Schneider
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 