Interpreted petri nets as a validation tool for telecommunication service protocol synthesis
| Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000034912 |
|---|---|
| Matična publikacija: |
ITA. Informacija telekomunikacije automati 12 (1993), 1/3 ; str. 379-386 |
| Glavni autor: | Blašković, Bruno, inženjer elektrotehnike (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: |