Mining Diamonds in Labelled Transition Systems.

P. H. M. van Spaendonck, Kevin H. J. Jilissen

Browse the full TASE paper archive.