Skip to content
Snippets Groups Projects
Commit ba30e140 authored by Pierre Roux's avatar Pierre Roux
Browse files

Add initial publication in README

parent 594a94db
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
README.md
+ 4
− 0
View file @ ba30e140
NCCoq is a formalization of the network calculus
Related publication:
* [Formal Verification of Real-time Networks](https://hal.archives-ouvertes.fr/hal-02449140/)
Dependencies
------------
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment