![](/img/cover-not-exists.png)
[IEEE 2009 Fourth International Conference on Dependability of Computer Systems - Brunow, Poland (2009.06.30-2009.07.2)] 2009 Fourth International Conference on Dependability of Computer Systems - Inconsistent State Analysis of a Network Receiver with Colored Petri Nets
Bouali, Mohamed, Barger, Pavol, Schon, WalterYear:
2009
Language:
english
DOI:
10.1109/depcos-relcomex.2009.42
File:
PDF, 548 KB
english, 2009