In this issue

Papers published: 4

Total pages: 66

Printed version: Paperback

Unique views: 1237

Total views: 1433

open access

Go to issue

« Previous
Issue 8(7)
 Next »
Issue No
from 0 to 30
Number No
JUCS - Journal of Universal Computer Science 8(7) (2002)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Managing Editor's Column
Hermann Maurer
10.3217/jucs-008-07
 28-07-2002
 Unique: 240 | Total: 274  | Access Period:
 673-673
HTML
XML
PDF
Research Article
A Framework for Semantics of UML Sequence Diagrams in PVS
Demissie Aredo
10.3217/jucs-008-07-0674
 28-07-2002
 Unique: 286 | Total: 327  | Access Period:
 674-697
HTML
XML
PDF
Research Article
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network
Daniel Hong, Choong Hong, Yoo Hyoung, Dong-Sik Yun, Woo-Sung Kim
10.3217/jucs-008-07-0698
 28-07-2002
 Unique: 370 | Total: 427  | Access Period:
 698-721
HTML
XML
PDF
Research Article
Heyting Algebras and Formal Languages
Werner Kuich, Norbert Sauer, Friedrich Urbanek
10.3217/jucs-008-07-0722
 28-07-2002
 Unique: 341 | Total: 405  | Access Period:
 722-736
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK