![](/img/cover-not-exists.png)
[IEEE ConTEL 2003 - 7th International Conference on Telecommunications - Zagreb, Croatia (2003.6.11-2003.6.13)] Proceedings of the 7th International Conference on Telecommunications, 2003. ConTEL 2003. - Petri net modeling for reactive system verification
Blaskovic, B.Year:
2003
Language:
english
DOI:
10.1109/contel.2003.176918
File:
PDF, 587 KB
english, 2003