Papers

Peer-reviewed Lead author Corresponding author Open access International coauthorship

2013

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Integrated Formal Methods, 10th International Conference, iFM 2013

Daisuke Ishii
Guillaume Melquiond
Shin Nakajima

Volume: LNCS 7940
Number
First page: 139
Last page: 153
Language: English
Publishing type: Research paper (international conference proceedings)
DOI: 10.1007/978-3-642-38613-8_10
Publisher: Springer

Link information

DOI: https://doi.org/10.1007/978-3-642-38613-8_10
DBLP: https://dblp.uni-trier.de/rec/conf/ifm/IshiiMN13
URL: http://hal.inria.fr/hal-00806701 Open access

ID information

DOI : 10.1007/978-3-642-38613-8_10
DBLP ID : conf/ifm/IshiiMN13

Export: BibTeX RIS