scientific article; zbMATH DE number 1798188

zbMATH Open0996.68604MaRDI QIDQ4553261FDOQ4553261

Authors:

Publication date: 4 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1744969
• Verifying a UMTS protocol using Spin and EASN
• An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
• scientific article; zbMATH DE number 1538047
• scientific article; zbMATH DE number 1670520

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Cited In (5)

• An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
• Title not available (Why is that?)
• EASN
• Title not available (Why is that?)
• Design and implementation of ASN.1 module in DSRC

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553261)