Changeset 3133 for Deliverables/D6.4-6.5


Ignore:
Timestamp:
Apr 12, 2013, 6:18:55 PM (7 years ago)
Author:
mckinna
Message:

Underscores!

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D6.4-6.5/workshops.ltx

    r3132 r3133  
    2828  \texttt{http://www.etaps.org/2013/workshops13}\\
    2929as a ``Technical Day on Innovative Techniques on Timing Analysis''\\
    30   \texttt{http://cerco.cs.unibo.it/innovative_techniques_on_timing_analysis_technical_day}
     30  \texttt{http://cerco.cs.unibo.it/innovative\_techniques\_on\_timing\_analysis\_technical\_day}
    3131
    3232It ran in parallel with a two-day workshop on Quantitative Aspects of Programming Languages (QAPL 11), sharing three sessions with that meeting. The CerCo workshop also included presentations from Tullio Vartanegra, representing the PROARTIS Consortium (FP7-ICT-2009.3.4), and an invited talk from Prof. Bj{\"o}rn Lisper (M{\"a}lardalen University, SE) on Parametric WCET analysis.
Note: See TracChangeset for help on using the changeset viewer.