µCRL : a toolset for analysing algebraic specifications
- S.C.C. Blom
- , W.J. Fokkink
- , J.F. Groote
- , I. Langevelde, van
- , B. Lisser
- , J.C. Pol, van de
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
109
Link wordt geopend op een nieuw tabblad
Citaten
(Scopus)
1
Downloads
(Pure)