Luis Urbina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1996–1997
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | FM | A Timed Semantics for the STATEMATE Implementation of Statecharts. | Carsta Petersohn, Luis Urbina |
| 1996 | CP | Analysis of Hybrid Systems in CLP(R). | Luis Urbina |
| 1996 | CP | The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). | Luis Urbina |