共 76 条
[1]
VERIFYING TEMPORAL PROPERTIES WITHOUT TEMPORAL LOGIC
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1989, 11 (01)
:147-167
[2]
Andrew S., 2001, MODERN OPERATING SYS
[3]
[Anonymous], 2002, COMMUNICATION
[4]
[Anonymous], P 8 INT WORKSH FORM
[5]
[Anonymous], 1996, DISTRIBUTED REAL TIM
[6]
[Anonymous], ELECT NOTES THEORETI
[7]
[Anonymous], POPL 2000
[9]
Barbacci M., 1995, CMU/SEI-95-TR-021
[10]
BARTETZKO D, 2001, P 1 WORKSH RUNT VER