English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces

Damm, W., Dierks, H., Disch, S., Hagemann, W., Pigorsch, F., Scholl, C., et al. (2012). Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces. Science of Computer Programming, 77, 1122-1150. doi:10.1016/j.scico.2011.07.006.

Item is

Files

show Files
hide Files
:
DDD+2010.pdf (Publisher version), 340KB
 
File Permalink:
-
Name:
DDD+2010.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Damm, Werner1, Author
Dierks, Henning1, Author
Disch, Stefan1, Author
Hagemann, Willem2, Author           
Pigorsch, Florian1, Author
Scholl, Christoph1, Author
Waldmann, Uwe2, Author           
Wirtz, Boris1, Author
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2011-07-202012
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 619009
DOI: 10.1016/j.scico.2011.07.006
URI: http://dx.doi.org/10.1016/j.scico.2011.07.006
Other: Local-ID: C125716C0050FB51-84433C7FC34FC48BC125781B004BC664-DammDierksDischEtAl2011
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Science of Computer Programming
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Amsterdam : Elsevier
Pages: - Volume / Issue: 77 Sequence Number: - Start / End Page: 1122 - 1150 Identifier: ISSN: 0167-6423