External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Differential analysis of interacting automata with immediate actions

Luca Bortolussi, Mirco Tribastone. Differential analysis of interacting automata with immediate actions. In Andras Horvath, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante, editors, 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. pages 49-58, ACM, 2013. [doi]

Authors

Luca Bortolussi

This author has not been identified. Look up 'Luca Bortolussi' in Google

Mirco Tribastone

This author has not been identified. Look up 'Mirco Tribastone' in Google
runs on