Verification of Cooperating Systems - An Approach Based on Formal Languages.

Peter Ochsenschlger, Jrgen Repp, Roland Rieke

Browse the full FlAIRS paper archive.