Back to Results
First PageMeta Content
Process calculus / PEPA / System / Scientific modelling / Jane Hillston / TAPAs model checker


Continuous Approximation of PEPA models A Process Algebra for Hybrid Systems CICADA Seminar
Add to Reading List

Document Date: 2008-04-10 07:33:53


Open Document

File Size: 2,97 MB

Share Result on Facebook