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.

Exploring Model-Based Development for the Verification of Real-Time Java Code

Niusha Hakimipour, Paul A. Strooper, Roger Duke. Exploring Model-Based Development for the Verification of Real-Time Java Code. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Authors

Niusha Hakimipour

This author has not been identified. Look up 'Niusha Hakimipour' in Google

Paul A. Strooper

This author has not been identified. Look up 'Paul A. Strooper' in Google

Roger Duke

This author has not been identified. Look up 'Roger Duke' in Google
runs on