Behaviour Inference for Deadlock Checking

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.23 ◽

2014 ◽

Cited By ~ 1

Author(s):

Ka I. Pun ◽

Martin Steffen ◽

Volker Stolz

Download Full-text