|
Volumn 8, Issue 5, 1988, Pages 343-359
|
A petri net framework for automated static analysis of Ada tasking behavior
|
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 0000492324
PISSN: 01641212
EISSN: None
Source Type: Journal
DOI: 10.1016/0164-1212(88)90027-1 Document Type: Article |
Times cited : (35)
|
References (24)
|