In this issue

Papers published: 7

Total pages: 105

Unique views: 7068

Total views: 8813

open access

Go to issue

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

Download
J.UCS Special Issue on Tools for System ...
Editorial
J.UCS Special Issue on Tools for System Design and Verification - Part 2
Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-007-02
 28-02-2001
 Unique: 919 | Total: 1102
 105-106
HTML
XML
PDF
Modeling Sequences within the RelView ...
Research Article
Modeling Sequences within the RelView System
Rudolf Berghammer, Thorsten Hoffmann
10.3217/jucs-007-02-0107
 28-02-2001
 Unique: 1029 | Total: 1255
 107-123
HTML
XML
PDF
A Practical Extension Mechanism for Decision ...
Research Article
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
Alessandro Armando, Silvio Ranise
10.3217/jucs-007-02-0124
 28-02-2001
 Unique: 1019 | Total: 1258
 124-140
HTML
XML
PDF
Verification of Parameterized Protocols
Research Article
Verification of Parameterized Protocols
Kai Baukus, Yassine Lakhnech, Karsten Stahl
10.3217/jucs-007-02-0141
 28-02-2001
 Unique: 1026 | Total: 1206
 141-158
HTML
XML
PDF
Diagram Refinements for the Design of ...
Research Article
Diagram Refinements for the Design of Reactive Systems
Dominique Cansell, Dominique Mery, Stephan Merz
10.3217/jucs-007-02-0159
 28-02-2001
 Unique: 1017 | Total: 1434
 159-174
HTML
XML
PDF
The Coalgebraic Class Specification Language ...
Research Article
The Coalgebraic Class Specification Language CCSL
Jan Rothe, Hendrik Tews, Bart Jacobs
10.3217/jucs-007-02-0175
 28-02-2001
 Unique: 1017 | Total: 1235
 175-193
HTML
XML
PDF
Correctness of Efficient Real-Time Model ...
Research Article
Correctness of Efficient Real-Time Model Checking
Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
10.3217/jucs-007-02-0194
 28-02-2001
 Unique: 1041 | Total: 1323
 194-209
HTML
XML
PDF

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

OK