Number of items: 2.
Conference Paper
Shanbhag, VK and Gopinath, K and Turunen, M and Ahtiainen, A and Luukkainen, M
(2001)
EASN: integrating ASN.1 and model checking.
In: Proceedings of CAV'01. Conference on Computer Aided Verification, 18-22 July 2001, Paris, France, pp. 382-386.
Journal Article
Shanbhag, VK and Gopinath, K
(1997)
A C++ simulator generator from graphical specifications.
In: Software—Practice And Experience, 27
(4).
pp. 395-423.
This list was generated on Fri Apr 19 21:51:59 2024 IST.
