Inconsistent State Analysis of a Network Receiver with Colored Petri Nets.

Mohamed Bouali, Pavol Barger, Walter Schn

Browse the full DEPCoS paper archive.