prosa.mpi-sws.org
Preview meta tags from the prosa.mpi-sws.org website.
Linked Hostnames
14- 6 links todrops.dagstuhl.de
- 3 links tohal.inria.fr
- 3 links topeople.mpi-sws.org
- 1 link tocoq.inria.fr
- 1 link todata-protection.mpi-klsb.mpg.de
- 1 link todoi.org
- 1 link tofiles.inria.fr
- 1 link togitlab.mpi-sws.org
General Meta Tags
2- titleProsa: A Foundation for Formally Proven Schedulability Analysis
- charsetutf-8
Link Tags
1- stylesheetstyle.css
Links
23- http://drops.dagstuhl.de/opus/volltexte/2018/8977/pdf/LIPIcs-ECRTS-2018-26.pdf
- http://rt-proofs.inria.fr
- http://www.mpi-sws.org/~bbb/papers/pdf/ecrts16f.pdf
- https://coq.inria.fr
- https://data-protection.mpi-klsb.mpg.de/sws/prosa.mpi-sws.org