@inproceedings{GQF+7,
title = { {Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets} },
author = {Guo, Xiaojie and Quinton, Sophie and Fradet, Pascal and Monin, Jean-Fran\c{c}ois},
month = {Dec},
year = {2017},
booktitle = {{RTSS 2017 - IEEE Real-Time Systems Symposium}},
address = {Paris, France},
pages = {1-3},
publisher = {{IEEE}},
team = {PACSS},
pdf = {https://hal.inria.fr/hal-01629288/file/offset_WiP.pdf},
hal_id = {hal-01629288},
hal_version = {v1},
}