External Links

Cite Key

Statistics

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

PDF

Tags

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.

Linear-Time and May-Testing in a Probabilistic Reactive Setting

Lucia Acciai, Michele Boreale, Rocco De Nicola. Linear-Time and May-Testing in a Probabilistic Reactive Setting. In Roberto Bruni, Jürgen Dingel, editors, Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6722 of Lecture Notes in Computer Science, pages 29-43, Springer, 2011. [doi]

Authors

Lucia Acciai

This author has not been identified. Look up 'Lucia Acciai' in Google

Michele Boreale

This author has not been identified. Look up 'Michele Boreale' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google
runs on