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.

Model Checking Birth and Death

Dino Distefano, Arend Rensink, Joost-Pieter Katoen. Model Checking Birth and Death. In Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro, editors, Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut. Volume 223 of IFIP Conference Proceedings, pages 435-447, Kluwer, 2002.

Authors

Dino Distefano

This author has not been identified. Look up 'Dino Distefano' in Google

Arend Rensink

Identified as Arend Rensink

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google
runs on