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.

From Safety Critical Java Programs to Timed Process Models

Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm. From Safety Critical Java Programs to Timed Process Models. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 319-338, Springer, 2015. [doi]

Authors

Bent Thomsen

This author has not been identified. Look up 'Bent Thomsen' in Google

Kasper Søe Luckow

This author has not been identified. Look up 'Kasper Søe Luckow' in Google

Lone Leth

This author has not been identified. Look up 'Lone Leth' in Google

Thomas Bøgholm

This author has not been identified. Look up 'Thomas Bøgholm' in Google
runs on