Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-38613-8_10 | IFM |
Keywords | Field | DocType |
hoare logic,hybrid systems | Inductive reasoning,Programming language,Nonlinear system,Computer science,Automaton,Hoare logic,Theoretical computer science,Loop invariant,Postcondition,Hybrid system,Calculus,Hybrid automaton | Conference |
Citations | PageRank | References |
0 | 0.34 | 16 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daisuke Ishii | 1 | 0 | 1.35 |
| Guillaume Melquiond | 2 | 345 | 24.82 |
| Shin Nakajima | 3 | 18 | 4.81 |