Login / Signup
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications.
Beata Sarna-Starosta
R. E. Kurt Stirewalt
Laura K. Dillon
Published in:
SEKE (2006)
Keyphrases
</>
multi threaded
computer architecture
high level