![](/img/cover-not-exists.png)
[IEEE 10th Mediterranean Electrotechnical Conference - MELECON 2000 - Lemesos, Cyprus (29-31 May 2000)] 2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099) - Model checking of concurrent system with SDL/sup --/ specification
Blaskovic, B., Dembitz, S., Knezevic, P.Volume:
1
Year:
1998
Language:
english
DOI:
10.1109/melcon.2000.880372
File:
PDF, 421 KB
english, 1998