Meseguer, José and Palomino, Miguel and Martí Oliet, Narciso (2003) Notes on Model Checking and Abstraction in Rewriting Logic. (Unpublished)
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 302Kb |
Official URL: http://maude.sip.ucm.es/~miguelpt/bibliography
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | Model checking; Rewriting logic; Maude; Abstraction |
| Subjects: | Sciences > Computer science > Computer security |
| ID Code: | 4880 |
| Deposited On: | 31 Mar 2006 |
| Last Modified: | 22 May 2013 19:54 |
Repository Staff Only: item control page
