![](/img/cover-not-exists.png)
[IEEE 1994 IEEE International Symposium on Industrial Electronics (ISIE'94) - Santiago, Chile (25-27 May 1994)] Proceedings of 1994 IEEE International Symposium on Industrial Electronics (ISIE'94) - Formal specification and validation of a static FIFO queue model using coloured Petri nets
Columbo, A.W., Martinez, J., Kuchen, B.Year:
1994
Language:
english
DOI:
10.1109/isie.1994.333113
File:
PDF, 414 KB
english, 1994