MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Ratschan, Stefan
Smaus, Jan-Georg		dblp
dblp
Not MPG Author(s):
Smaus, Jan-Georg
Editor(s):
Cassandras, Christos
Giua, Alessandro
Seatzu, Carla
Zaytoon, Janan		dblp
dblp
dblp
dblp
Not MPII Editor(s):
Cassandras, Christos
Giua, Alessandro
Seatzu, Carla
Zaytoon, Janan
BibTeX cite key*:
Ratschan2006
Title, Booktitle
Title*:
Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
Booktitle*:
2nd IFAC Conference on Analysis and Design of Hybrid Systems
Event, URLs
Conference URL::
http://www.diee.unica.it/adhs06/
Downloading URL:
Event Address*:
Alghero, Italy
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
7 June 2006
Event End Date:
9 June 2006
Publisher
Name*:
Elsevier
URL:
Address*:
Oxford, UK
Type:
Vol, No, Year, pp.
Series:
IFAC Proceedings Volumes
Volume:
Number:
Month:
November
Pages:
?
Year*:
2006
VG Wort Pages:
ISBN/ISSN:
0080446132; 978-0080446134
Sequence Number:
DOI:
Note, Abstract, ©
HyperLinks / References / URLs:
http://www.elsevier.com/wps/find/bookdescription.librarians/710524/description#toc
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{Ratschan2006,
AUTHOR = {Ratschan, Stefan and Smaus, Jan-Georg},
 EDITOR = {Cassandras, Christos and Giua, Alessandro and Seatzu, Carla and Zaytoon, Janan},
 TITLE = {Verification-Integrated Falsification of Non-Deterministic Hybrid Systems},
 BOOKTITLE = {2nd IFAC Conference on Analysis and Design of Hybrid Systems},
 PUBLISHER = {Elsevier},
 YEAR = {2006},
 PAGES = {?},
 SERIES = {IFAC Proceedings Volumes},
 ADDRESS = {Alghero, Italy},
 MONTH = {November},
 ISBN = {0080446132},
; ISBN = {978-0080446134},
}

Entry last modified by Uwe Brahm, 01/28/2008
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)
Stefan Ratschan		Created
05/24/2006 02:18:30 PM
Revisions
3.
2.
1.
0.
Editor(s)
Uwe Brahm
Christine Kiesel
Stefan Ratschan
Stefan Ratschan
Edit Dates
2007-04-26 11:51:41
16.02.2007 23:39:20
05/24/2006 02:19:15 PM
05/24/2006 02:18:30 PM