|
Journals in DBLP
- Christian Creveuil, Gruia-Catalin Roman
Formal Specification and Designof a Message Router. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:271-307 [Journal]
- Miguel Felder, Angelo Morzenti
Validating Real-Time Systems by History-Checking TRIO Specifications. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:308-339 [Journal]
- Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:340-380 [Journal]
|