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.

Modeling and Verification of Reactive Software Using LOTOS

Grzegorz Rogus, Tomasz Szmuc. Modeling and Verification of Reactive Software Using LOTOS. In Krzysztof Zielinski, Tomasz Szmuc, editors, Software Engineering: Evolution and Emerging Technologies. Volume 130 of Frontiers in Artificial Intelligence and Applications, pages 365-377, IOS Press, 2005.

Authors

Grzegorz Rogus

This author has not been identified. Look up 'Grzegorz Rogus' in Google

Tomasz Szmuc

This author has not been identified. Look up 'Tomasz Szmuc' in Google
runs on