Real-Time model checking based on splitting

RF Lutje Spelberg, WJ Toetenel

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

Original language	Undefined/Unknown
Title of host publication	Proceedings
Editors	JCM Baeten, ... [et Al]
Place of Publication	S.l.
Publisher	s.n.
Pages	56-70
Number of pages	15
ISBN (Print)	0926-4515
Publication status	Published - 2001
Event	3th Dutch Model Checking Day, Eindhoven - S.l. Duration: 7 Nov 2001 → 7 Nov 2001

Name
Publisher	S.n.

Conference	3th Dutch Model Checking Day, Eindhoven
Period	7/11/01 → 7/11/01

Keywords

@inproceedings{023f3d4dad00448aad8aa0398e0cac83,

title = "Real-Time model checking based on splitting",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "{Lutje Spelberg}, RF and WJ Toetenel",

year = "2001",

language = "Undefined/Unknown",

isbn = "0926-4515",

publisher = "s.n.",

pages = "56--70",

editor = "{JCM Baeten} and {... [et Al]}",

booktitle = "Proceedings",

note = "3th Dutch Model Checking Day, Eindhoven ; Conference date: 07-11-2001 Through 07-11-2001",

}

TY - GEN

T1 - Real-Time model checking based on splitting

AU - Lutje Spelberg, RF

AU - Toetenel, WJ

PY - 2001

Y1 - 2001

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 0926-4515

SP - 56

EP - 70

BT - Proceedings

A2 - JCM Baeten, null

A2 - ... [et Al], null

PB - s.n.

CY - S.l.

T2 - 3th Dutch Model Checking Day, Eindhoven

Y2 - 7 November 2001 through 7 November 2001

ER -