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]
Abstract is missing.