Journals in DBLP

Formal Methods in System Design
2003, volume: 22, number: 3

1. Signe J. Silver, Janusz A. Brzozowski
   True Concurrency in Models of Asynchronous Circuit Behavior. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:3, pp:183-203 [Journal]
   
2. Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
   BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:3, pp:205-224 [Journal]
   
3. Wing Lok Yeung, Steve Schneider
   Design and Verification of Distributed Recovery Blocks with CSP. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:3, pp:225-248 [Journal]
   
4. J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda
   Analysis of an Industrial System. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:3, pp:249-282 [Journal]