Commit 1533da17 authored by Matthieu Moy's avatar Matthieu Moy

Fix Markdown

parent 9ed8aeef
......@@ -9,20 +9,16 @@ documentation as of now. However, interested users can read:
- [PinaVM: a SystemC Front-End Based on an Executable Intermediate
Representation](http://www-verimag.imag.fr/details.html?pub_id=pinavm-emsoft),
published at EMSOFT 2010 (see also
\[<http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-8
the associated technical report\])
published at EMSOFT 2010 (see also [the associated technical report](http://www-verimag.imag.fr/Technical-Reports,264.html?&number=TR-2010-8))
- [A Theoretical and Experimental Review of SystemC
Front-ends](http://www-verimag.imag.fr/details.html?pub_id=review-sc-fe),
published at FDL 2010 (see also
\[<http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-4
the associated technical report\])
[the associated technical report](http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-4))
- [Efficient Encoding of SystemC/TLM in
Promela](http://www-verimag.imag.fr/details.html?pub_id=MARQUET:2011:HAL-00557515:1),
published at DATICS-IMECS 2011 (see also
\[<http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-7
Research report about one of the back-ends of PinaVM the associated
technical report\])
[Research report about one of the back-ends of PinaVM the associated
technical report](http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-7))
PinaVM can be downloaded either via [Git](http://git-scm.org) (see
[instructions](https://forge.imag.fr/scm/?group_id=147), or [browse
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment