Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ifm/FreitasBCW16
%A Freitas, Leo
%A Baxter, James
%A Cavalcanti, Ana
%A Wellings, Andy J.
%B IFM
%D 2016
%E Ábrahám, Erika
%E Huisman, Marieke
%I Springer
%K
%P 63-78
%T Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.
%U http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#FreitasBCW16
%V 9681
%@ 978-3-319-33692-3
@inproceedings{conf/ifm/FreitasBCW16,
added-at = {2023-12-13T00:25:55.000+0100},
author = {Freitas, Leo and Baxter, James and Cavalcanti, Ana and Wellings, Andy J.},
biburl = {https://www.bibsonomy.org/bibtex/27670fb80193e9b3b9fb7154c444908cb/admin},
booktitle = {IFM},
crossref = {conf/ifm/2016},
editor = {Ábrahám, Erika and Huisman, Marieke},
ee = {https://doi.org/10.1007/978-3-319-33693-0_5},
interhash = {633ef511866386e2597676a2987c8574},
intrahash = {7670fb80193e9b3b9fb7154c444908cb},
isbn = {978-3-319-33692-3},
keywords = {},
pages = {63-78},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T00:25:55.000+0100},
title = {Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.},
url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#FreitasBCW16},
volume = 9681,
year = 2016
}