μ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

Blom, S., Fokkink, W., Groote, J. F., Van Langevelde, I., Lisser, B., & Van de Pol, J. (2001). μCRL: A toolset for Analysing Algebraic Specifications. In H. Comon, A. Finkel, & G. Berry (Eds.), Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings (pp. 250-254). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2102). Springer - Verlag. https://doi.org/10.1007/3-540-44585-4_23
Blom, Stefan ; Fokkink, Wan ; Groote, Jan Friso ; Van Langevelde, Izak ; Lisser, Bert ; Van de Pol, Jaco. / μCRL : A toolset for Analysing Algebraic Specifications. Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. editor / Hubert Comon ; Alain Finkel ; Gérard Berry. Springer - Verlag, 2001. pp. 250-254 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{96769aa8f6da433db7eb1e9fbb838ccb,
title = "μCRL: A toolset for Analysing Algebraic Specifications",
author = "Stefan Blom and Wan Fokkink and Groote, {Jan Friso} and {Van Langevelde}, Izak and Bert Lisser and {Van de Pol}, Jaco",
year = "2001",
month = "1",
day = "1",
doi = "10.1007/3-540-44585-4_23",
language = "English",
isbn = "3540423451",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer - Verlag",
pages = "250--254",
editor = "Hubert Comon and Alain Finkel and G{\'e}rard Berry",
booktitle = "Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings",

}

Blom, S, Fokkink, W, Groote, JF, Van Langevelde, I, Lisser, B & Van de Pol, J 2001, μCRL: A toolset for Analysing Algebraic Specifications. in H Comon, A Finkel & G Berry (eds), Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2102, Springer - Verlag, pp. 250-254, 13th International Conference on Computer Aided Verification, CAV 2001, Paris, France, 18/07/01. https://doi.org/10.1007/3-540-44585-4_23

μCRL : A toolset for Analysing Algebraic Specifications. / Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; Van Langevelde, Izak; Lisser, Bert; Van de Pol, Jaco.

Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. ed. / Hubert Comon; Alain Finkel; Gérard Berry. Springer - Verlag, 2001. p. 250-254 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2102).

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

TY - GEN

T1 - μCRL

T2 - A toolset for Analysing Algebraic Specifications

AU - Blom, Stefan

AU - Fokkink, Wan

AU - Groote, Jan Friso

AU - Van Langevelde, Izak

AU - Lisser, Bert

AU - Van de Pol, Jaco

PY - 2001/1/1

Y1 - 2001/1/1

UR - http://www.scopus.com/inward/record.url?scp=84958758114&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84958758114&partnerID=8YFLogxK

U2 - 10.1007/3-540-44585-4_23

DO - 10.1007/3-540-44585-4_23

M3 - Conference contribution

SN - 3540423451

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 250

EP - 254

BT - Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings

A2 - Comon, Hubert

A2 - Finkel, Alain

A2 - Berry, Gérard

PB - Springer - Verlag

ER -

Blom S, Fokkink W, Groote JF, Van Langevelde I, Lisser B, Van de Pol J. μCRL: A toolset for Analysing Algebraic Specifications. In Comon H, Finkel A, Berry G, editors, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Springer - Verlag. 2001. p. 250-254. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-44585-4_23