|
Journals in DBLP
J. UCS 2002, volume: 8, number: 7
- Demissie B. Aredo
A Framework for Semantics of UML Sequence Diagrams in PVS. [Citation Graph (0, 0)][DBLP] J. UCS, 2002, v:8, n:7, pp:674-697 [Journal]
- Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yun, Yoo Jae Hyoung, Woo-Sung Kim
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network. [Citation Graph (0, 0)][DBLP] J. UCS, 2002, v:8, n:7, pp:698-721 [Journal]
- Werner Kuich, Norbert Sauer, Friedrich J. Urbanek
Heyting Algebras and Formal Languages. [Citation Graph (0, 0)][DBLP] J. UCS, 2002, v:8, n:7, pp:722-0 [Journal]
|