Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal



Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Damm, Werner
Dierks, Henning
Disch, Stefan
Hagemann, Willem
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris

dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp

Not MPG Author(s):

Damm, Werner
Dierks, Henning
Disch, Stefan
Pigorsch, Florian
Scholl, Christoph
Wirtz, Boris

BibTeX cite key*:

DammDierksDischEtAl2011

Title

Title*:

Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces

Journal

Journal Title*:

Science of Computer Programming

Journal's URL:


Download URL
for the article:

http://dx.doi.org/10.1016/j.scico.2011.07.006

Language:

English

Publisher

Publisher's
Name:

Elsevier

Publisher's URL:


Publisher's
Address:

Amsterdam

ISSN:

0167-6423

Vol, No, Year, pp.

Volume:

in press

Number:


Month:


Year*:

2011

Pages:

1-29

Number of VG Pages:


Sequence Number:


DOI:

10.1016/j.scico.2011.07.006

Abstract, Links, (C)

Note:


(LaTeX) Abstract:


URL for the Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@MISC{DammDierksDischEtAl2011,
AUTHOR = {Damm, Werner and Dierks, Henning and Disch, Stefan and Hagemann, Willem and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris},
TITLE = {Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces},
JOURNAL = {Science of Computer Programming},
PUBLISHER = {Elsevier},
YEAR = {2011},
VOLUME = {in press},
PAGES = {1--29},
ADDRESS = {Amsterdam},
ISBN = {0167-6423},
DOI = {10.1016/j.scico.2011.07.006},
}


Entry last modified by Anja Becker, 03/16/2012
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
01/17/2011 02:47:39 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Anja Becker
Anja Becker
Anja Becker
Edit Dates
16.03.2012 11:29:11
16.03.2012 11:28:46
19.01.2011 14:27:03
19.01.2011 14:26:36
17.01.2011 14:47:39