Author:
Mazzanti Franco,Ferrari Alessio,Spagnolo Giorgio O.
Publisher
Springer International Publishing
Reference17 articles.
1. Accellera, Property Specification Language - Reference Manual - Version 1.01, April 2003. http://www.eda.org/vfv/docs/psllrm-1.01.pdf
2. Lecture Notes in Computer Science;MH Beek ter,2015
3. http://fmt.isti.cnr.it/kandisti
4. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011)
5. UMC home site. http://fmt.isti.cnr.it/umc
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献