Parametric model-checking in PMC

G Bandini, 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	NWPT'99: proceedings (Technical report 1999-008)
Editors	B Victor, Wang Yi
Place of Publication	Uppsala
Publisher	Uppsala Universitet
Pages	14-15
Number of pages	2
ISBN (Print)	1404-3203
Publication status	Published - 1999
Event	11th Nordic Workshop on Programming Theory, Uppsala - Uppsala Duration: 3 Nov 1999 → 5 Nov 1999

Name
Publisher	Uppsala University: Department of Information Technology

Conference	11th Nordic Workshop on Programming Theory, Uppsala
Period	3/11/99 → 5/11/99

Keywords

@inproceedings{d04e9909b04842c285a1b1dd2408c7fe,

title = "Parametric model-checking in PMC",

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

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

year = "1999",

language = "Undefined/Unknown",

isbn = "1404-3203",

publisher = "Uppsala Universitet",

pages = "14--15",

editor = "{B Victor} and {Wang Yi}",

booktitle = "NWPT'99: proceedings (Technical report 1999-008)",

note = "11th Nordic Workshop on Programming Theory, Uppsala ; Conference date: 03-11-1999 Through 05-11-1999",

}

TY - GEN

T1 - Parametric model-checking in PMC

AU - Bandini, G

AU - Lutje Spelberg, RF

AU - Toetenel, WJ

PY - 1999

Y1 - 1999

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 1404-3203

SP - 14

EP - 15

BT - NWPT'99: proceedings (Technical report 1999-008)

A2 - B Victor, null

A2 - Wang Yi, null

PB - Uppsala Universitet

CY - Uppsala

T2 - 11th Nordic Workshop on Programming Theory, Uppsala

Y2 - 3 November 1999 through 5 November 1999

ER -