Issue 7

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Geographical Mashup

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 7
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