Found: 2
Select item for more details and to access through your institution.
Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2017, v. 42, n. 2, p. 913, doi. 10.1007/s13369-016-2367-0
- By:
- Publication type:
- Article
MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C++ Programs.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2016, v. 41, n. 12, p. 5149, doi. 10.1007/s13369-016-2205-4
- By:
- Publication type:
- Article