Towards Certifying Network Calculus.
| Autor: | Mabille, Etienne, Boyer, Marc, Fejoz, Loïc, Merz, Stephan |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p484-489, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Mabille, Etienne, Boyer, Marc, Fejoz, Loïc, Merz, Stephan |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p484-489, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|