Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 8

Content of Issue 7
DOI: 10.3217/jucs-008-07
Managing Editor's Column H. Maurer 673
A Framework for Semantics of UML Sequence Diagrams in PVS D. B. Aredo 674
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network D. Won-Kyu Hong, C. Seon Hong, Y. Jae Hyoung, D.-S. Yun, W.-S. Kim 698
Heyting Algebras and Formal Languages W. Kuich, N. Sauer, F. Urbanek 722