Verification of concurrent systems based on equivalence checking in SPIN

From National Research Council Canada

AuthorSearch for:
FormatText, Technical Report
Publication date
LanguageEnglish
NRC numberNRCC 40165
NPARC number8913656
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifier2c877e4c-4410-4398-9537-342504476938
Record created2009-04-22
Record modified2020-03-05
Date modified: