Number of the records: 1
Specification and Generation of Environment for Model Checking of Software Components
- 1.PAŘÍZEK, P., PLÁŠIL, F. Specification and Generation of Environment for Model Checking of Software Components. Electronic Notes in Theoretical Computer Science. 2007, 176(-), 143-154. ISSN 1571-0661. Available: doi: 10.1016/j.entcs.2006.02.036
Number of the records: 1