421 search results - page 4 / 85 » Abstract Interpretation of PEPA Models |
TAP
2008
Springer
13 years 6 months ago
2008
Springer
SAS
2010
Springer
13 years 5 months ago
2010
Springer
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
TCS
2008
13 years 6 months ago
2008
Interpretation and Types for Systems Biology Fran
PKDD
2010
Springer
13 years 5 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...