Register
|
Login
Full Text
Author
Title
Submit manuscript
About
News
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Miroslav Sveda
2 articles by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Editorial
Formal Specification of Computer-Based Systems
Miroslav Sveda
,
Charles Rattray
,
Jerzy Rozenblit
10.3217/jucs-010-10
28-10-2004
Unique: 499 | Total: 602
| Access Period:
1354-1356
HTML
XML
PDF
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik
,
Miroslav Sveda
10.3217/jucs-009-11-1277
28-11-2003
Unique: 560 | Total: 668
| Access Period:
1277-1295
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK