Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Ladkin

Implementing and Verifying MSC Specifications Using PROMELA/XSPIN

DIMACS Series in Discrete Mathematics and Theoretical Computer Science

English