English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems

Becker, B., Behle, M., Eisenbrand, F., Fränzle, M., Herbstritt, M., Herde, C., et al. (2004). Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 65-75). Aachen: Shaker.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2A40-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-A180-8
Genre: Conference Paper

Files

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

Locators

show

Creators

show
hide
 Creators:
Becker, Bernd1, Author
Behle, Markus2, Author           
Eisenbrand, Friedrich3, Author           
Fränzle, Martin1, Author
Herbstritt, Marc1, Author
Herde, Christian1, Author
Hoffmann, Jörg4, Author           
Kröning, Daniel4, Author           
Nebel, Bernhard1, Author
Polian, Ilia1, Author
Wimmer, Ralf1, Author
Stoffel, Dominik1, Editor
Kunz, Wolfgang1, Editor
Affiliations:
1External Organizations, ou_persistent22              
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              
3Discrete Optimization, MPI for Informatics, Max Planck Society, ou_1116548              
4Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2005-05-312004
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 231832
Other: Local-ID: C1256BDD00205AD6-C93D802B674A8217C1256FA200595B8B-ber-bec2004
 Degree: -

Event

show
hide
Title: 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation
Place of Event: Kaiserslautern, Germany
Start-/End Date: 2004-02-08

Legal Case

show

Project information

show

Source 1

show
hide
Title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
  Subtitle : 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Aachen : Shaker
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 65 - 75 Identifier: ISBN: 3-8322-2486-6