Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/rtss/LimeR04
AU - Lime, Didier
AU - Roux, Olivier H.
TI - A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.
BT - Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal
SP - 187
EP - 196
PY - 2004//
DO - 10.1109/REAL.2004.9
UR - https://doi.org/10.1109/REAL.2004.9
UR - https://doi.ieeecomputersociety.org/10.1109/REAL.2004.9
ER -