Journals in DBLP

J. UCS
2000, volume: 6, number: 4

1. Paul E. Dunne, Alan Gibbons
   J.UCS Special Issue on BCTCS. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:405-406 [Journal]
   
2. Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair
   Formal Specification from an Observation-oriented Perspective. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:407-421 [Journal]
   
3. Craig Eldershaw, Stephen Cameron
   Using Genetic Algorithms to Solve the Motion Planning Problem. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:422-432 [Journal]
   
4. Silvija Seres, J. Michael Spivey
   Functional Reading of Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:433-446 [Journal]
   
5. Michael B. Smyth
   Region-based Discrete Geometry. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:447-459 [Journal]
   
6. L. J. Steggles
   Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:460-473 [Journal]
   
7. Alastair Telford, David Turner
   Ensuring Termination in ESFP. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:4, pp:474-488 [Journal]