TEMPORAL LOGIC-BASED DEADLOCK ANALYSIS FOR ADA - COMMENT

Authors
YOUNG M LEVINE DL TAYLOR RN
Citation
M. Young et al., TEMPORAL LOGIC-BASED DEADLOCK ANALYSIS FOR ADA - COMMENT, IEEE transactions on software engineering, 19(2), 1993, pp. 198-199
Citations number
14
Categorie Soggetti
Computer Sciences","Engineering, Eletrical & Electronic","Computer Applications & Cybernetics
Journal title
IEEE transactions on software engineering → ACNP
ISSN journal
00985589
Volume
19
Issue
2
Year of publication
1993
Pages
198 - 199
Database
ISI
SICI code
0098-5589(1993)19:2<198:TLDAFA>2.0.ZU;2-#