History
1
an:70376594
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Ad-hoc protocol modelling, validation and automated test suite generation (English)
TestCom, 235- (2002).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX
Valid XHTML 1.0 Transitional Valid CSS!