Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








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

URL of the conference:

http://www.diee.unica.it/adhs06/

URL for downloading the paper:


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
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)
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section