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.

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants

Thomas Göthel, Sabine Glesner. Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. In José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini, editors, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. pages 310-314, IEEE Computer Society, 2010. [doi]

Authors

Thomas Göthel

This author has not been identified. Look up 'Thomas Göthel' in Google

Sabine Glesner

This author has not been identified. Look up 'Sabine Glesner' in Google
runs on