(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
REFERENCES 31<br />
Computer Science, 7201:61–75, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-<br />
9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/<br />
chapter/10.1007/978-3-642-28540-0_5/.<br />
Vastag:<strong>2012</strong>:CSD<br />
[32] Sebastian Vastag. A calculus for SLA delay properties. Lecture Notes<br />
<strong>in</strong> Computer Science, 7201:76–90, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-<br />
9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/<br />
chapter/10.1007/978-3-642-28540-0_6/.<br />
Ivkovic:<strong>2012</strong>:VWC<br />
[33] Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher, and Re<strong>in</strong>hard German.<br />
Verify<strong>in</strong>g worst case delays <strong>in</strong> controller area network. Lecture<br />
Notes <strong>in</strong> Computer Science, 7201:91–105, <strong>2012</strong>. CODEN LNCSD9. ISSN<br />
0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.<br />
com/chapter/10.1007/978-3-642-28540-0_7/.<br />
Jongerden:<strong>2012</strong>:LIB<br />
[34] Marijn R. Jongerden and Boudewijn R. Haverkort. Lifetime improvement<br />
by battery schedul<strong>in</strong>g. Lecture Notes <strong>in</strong> Computer Science, 7201:<br />
106–120, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28540-0_8/.<br />
Sharma:<strong>2012</strong>:WPE<br />
[35] Arpit Sharma. Weighted probabilistic equivalence preserves ω-regular<br />
properties. Lecture Notes <strong>in</strong> Computer Science, 7201:121–135, <strong>2012</strong>. CO-<br />
DEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL<br />
http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28540-0_9/<br />
.<br />
Georgievska:<strong>2012</strong>:PCP<br />
[36] Sonja Georgievska and Suzana Andova. Probabilistic CSP: Preserv<strong>in</strong>g the<br />
laws via restricted schedulers. Lecture Notes <strong>in</strong> Computer Science, 7201:<br />
136–150, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28540-0_10/.<br />
Fioriti:<strong>2012</strong>:HPT<br />
[37] Luis María Ferrer Fioriti and Holger Hermanns. Heuristics for probabilistic<br />
timed automata with abstraction ref<strong>in</strong>ement. Lecture Notes <strong>in</strong><br />
Computer Science, 7201:151–165, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-<br />
9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/<br />
chapter/10.1007/978-3-642-28540-0_11/.