Behaviour Inference for Deadlock Checking.

Ka I Pun, Martin Steffen, Volker Stolz

Browse the full TASE paper archive.