A formalism and a verification method for bus-based systems
| Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000173096 |
|---|---|
| Matična publikacija: |
CIT. Journal of computing and information technology 3 (1995), 3 ; str. 157-168 |
| Glavni autor: | Balarin, Felice (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: |