Model checking birth and death

D.S. Distefano; Arend Rensink; Joost P. Katoen

Model checking birth and death

D.S. Distefano
, Arend Rensink
, Joost P. Katoen

Research output: Contribution to conference › Paper › peer-review

151 Downloads (Pure)

Original language	Undefined
Pages	435-447
Number of pages	13
Publication status	Published - 2002
Event	2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing - Quebec, Canada Duration: 25 Aug 2002 → 30 Aug 2002

Conference

Conference	2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing
Period	25/08/02 → 30/08/02
Other	August 25-30, 2002

Keywords

FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS
IR-66283
EWI-6519

Access to Document

Cite this

@conference{8b304fbf296242cb9db62e9039294094,

title = "Model checking birth and death",

keywords = "FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS, IR-66283, EWI-6519",

author = "D.S. Distefano and Arend Rensink and Katoen, \{Joost P.\}",

year = "2002",

language = "Undefined",

pages = "435--447",

note = "2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing ; Conference date: 25-08-2002 Through 30-08-2002",

}

TY - CONF

T1 - Model checking birth and death

AU - Distefano, D.S.

AU - Rensink, Arend

AU - Katoen, Joost P.

PY - 2002

Y1 - 2002

KW - FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS

KW - IR-66283

KW - EWI-6519

M3 - Paper

SP - 435

EP - 447

T2 - 2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing

Y2 - 25 August 2002 through 30 August 2002

ER -