Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
L. Steggles
Department of Computer Science, University of Newcastle
United Kingdom
1 article 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)
Research Article
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller
L. Steggles
10.3217/jucs-006-04-0460
28-04-2000
Unique: 351 | Total: 393
| Access Period:
460-473
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK