Login / Signup
Scalable Differential Analysis of Process Algebra Models.
Mirco Tribastone
Stephen Gilmore
Jane Hillston
Published in:
IEEE Trans. Software Eng. (2012)
Keyphrases
</>
case study
fine grained
process algebra
artificial intelligence
general purpose