Inconsistent State Analysis of a Network Receiver with Colored Petri Nets

Mohamed Bouali, Pavol Barger, Walter Schon. Inconsistent State Analysis of a Network Receiver with Colored Petri Nets. In Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. pages 152-159, IEEE Computer Society, 2009. [doi]

Authors

Mohamed Bouali

This author has not been identified. Look up 'Mohamed Bouali' in Google

Pavol Barger

This author has not been identified. Look up 'Pavol Barger' in Google

Walter Schon

This author has not been identified. Look up 'Walter Schon' in Google