![](/img/cover-not-exists.png)
[IEEE 2005 IEEE International Symposium on Circuits and Systems - Kobe, Japan (23-26 May 2005)] 2005 IEEE International Symposium on Circuits and Systems - Automatic Monitor Generation from Regular Expression Based Specifications for Module Interface Verification
Kakiuchi, Y., Kitajima, A., Hamaguchi, K., Kashiwabara, T.Year:
2005
Language:
english
DOI:
10.1109/iscas.2005.1465397
File:
PDF, 158 KB
english, 2005