ESBC: an application for computing stabilization bounds
| Autor: | Avellone, Alessandro, Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido, Moscato, Ugo |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 30 March 2006 153(1):23-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect