Model-checking for real-time systems

DOI PDF 1 Citations

Journal

Fundamentals of Computation Theory

Fundamentals of Computation Theory 62-88, 1995

Springer Berlin Heidelberg

Citations (1)*help

See more

Details 詳細情報について

CRID

1361699996415327744
DOI

10.1007/3-540-60249-6_41
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/3-540-60249-6_41.pdf
Data Source
- Crossref

Export

Report a problem

Back to top