EASN: Integrating ASN.1 and Model Checking.

Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen

Browse the full CAV paper archive.