Parametric model-checking in PMC

G Bandini, RF Lutje Spelberg, WJ Toetenel

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

Original languageUndefined/Unknown
Title of host publicationNWPT'99: proceedings (Technical report 1999-008)
Editors B Victor, Wang Yi
Place of PublicationUppsala
PublisherUppsala University: Department of Information Technology
Pages14-15
Number of pages2
ISBN (Print)1404-3203
Publication statusPublished - 1999
Event11th Nordic Workshop on Programming Theory, Uppsala - Uppsala
Duration: 3 Nov 19995 Nov 1999

Publication series

Name
PublisherUppsala University: Department of Information Technology

Conference

Conference11th Nordic Workshop on Programming Theory, Uppsala
Period3/11/995/11/99

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

Bandini, G., Lutje Spelberg, RF., & Toetenel, WJ. (1999). Parametric model-checking in PMC. In B Victor, & Wang Yi (Eds.), NWPT'99: proceedings (Technical report 1999-008) (pp. 14-15). Uppsala University: Department of Information Technology.