| Search | Browse | Templates | Query | |||||
| paperid | title | year | banks_node_id |
|---|---|---|---|
| conf/hybrid/DeshpandeGV96 | SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. | 1996 | 637059 |
Click here to go back to the BANKS homepage.
About BANKS - Help - People - Publications