Model checking SDL with Spin

D. Bosnacki, D.R. Dams, L. Holenderski, N. Sidorova

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

26 Citations (Scopus)

Fingerprint Dive into the research topics of 'Model checking SDL with Spin'. Together they form a unique fingerprint.

Engineering & Materials Science