• RF Lutje Spelberg
  • WJ Toetenel
Original languageUndefined/Unknown
Title of host publicationProceedings
Editors JCM Baeten, ... [et Al]
Place of PublicationS.l.
Publishers.n.
Pages56-70
Number of pages15
ISBN (Print)0926-4515
Publication statusPublished - 2001
Event3th Dutch Model Checking Day, Eindhoven - S.l.
Duration: 7 Nov 20017 Nov 2001

Publication series

Name
PublisherS.n.

Conference

Conference3th Dutch Model Checking Day, Eindhoven
Period7/11/017/11/01

    Research areas

  • ZX Int.klas.verslagjaar < 2002

ID: 1291789