μCRL: A toolset for Analysing Algebraic Specifications

Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak Van Langevelde, Bert Lisser, Jaco Van de Pol

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification - 13th International Conference, CAV 2001, Proceedings
EditorsHubert Comon, Alain Finkel, Gérard Berry
PublisherSpringer - Verlag
Pages250-254
Number of pages5
ISBN (Print)3540423451
DOIs
Publication statusPublished - 1 Jan 2001
Event13th International Conference on Computer Aided Verification, CAV 2001 - Paris, France
Duration: 18 Jul 200122 Jul 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2102
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Computer Aided Verification, CAV 2001
CountryFrance
CityParis
Period18/07/0122/07/01

Cite this