μCRL: A toolset for Analysing Algebraic Specifications

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

doi:10.1007/3-540-44585-4_23

μ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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings
Editors	Hubert Comon, Alain Finkel, Gérard Berry
Publisher	Springer - Verlag
Pages	250-254
Number of pages	5
ISBN (Print)	3540423451
DOIs	https://doi.org/10.1007/3-540-44585-4_23
Publication status	Published - 1 Jan 2001
Event	13th International Conference on Computer Aided Verification, CAV 2001 - Paris, France Duration: 18 Jul 2001 → 22 Jul 2001

Publication series

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

Conference

Conference	13th International Conference on Computer Aided Verification, CAV 2001
Country/Territory	France
City	Paris
Period	18/07/01 → 22/07/01

Access to Document

10.1007/3-540-44585-4_23

Persistent URL (handle)

Persistent link

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 et al. / μ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 = jan,

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",

note = "13th International Conference on Computer Aided Verification, CAV 2001 ; Conference date: 18-07-2001 Through 22-07-2001",

}

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 et al.
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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - μCRL

T2 - 13th International Conference on Computer Aided Verification, CAV 2001

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

AN - SCOPUS:84958758114

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

Y2 - 18 July 2001 through 22 July 2001

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)). doi: 10.1007/3-540-44585-4_23

μCRL: A toolset for Analysing Algebraic Specifications

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Cite this