Publications

Model-Checking Temporal Properties of Real-Time Htl Programs

AuthID
P-003-BVJ

Author(s)

Carvalho, A

Carvalho, J

Pinto, JS

de Sousa, SM

Editor(s)

Margaria, T; Steffen, B

Document Type

Proceedings Paper

Year published

2010

Published

in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6416, Issue: PART 2, Pages: 191-205 (15)

Conference

4Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Date: OCT 18-21, 2010, Location: Heraklion, GREECE, Sponsors: European Assoc Software Sci & Technol, TU Dortmund, Univ Potsdam

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/110450

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-16561-0_22

Dblp: conf/isola/CarvalhoCPS10

Scopus: 2-s2.0-78650256040

Wos: WOS:000289492800022

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Model-Checking Temporal Properties of Real-Time Htl Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Model-Checking Temporal Properties of Real-Time Htl Programs

Useful Links

Get Help