共 12 条
[1]
[Anonymous], 1346 U WISC MAD COMP
[2]
Cunha JC, 1998, LECT NOTES COMPUT SC, V1497, P273, DOI 10.1007/BFb0056585
[3]
Testing parallel and distributed programs with temporal logic specifications
[J].
SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS,
1997,
:62-72
[4]
JULIENNE A, 1994, TOOLTALK OPEN PROTOC
[5]
LONG F, 1993, CMUSEI93TR1
[6]
LUDWIG T, 1997, OMIS ON LINE MONITOR
[7]
OBERHUBER M, 1995, TRANSPUT OCCAM ENG S, P170
[8]
PASE D, 1998, DYNAMIC PROBE CLASS
[9]
STELLMACHER W, 1995, Z GERMANISTIK, V5, P131
[10]
Wismuller R., 1998, Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, P1, DOI 10.1145/281035.281036