![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ExerAP3.pdf | 2014-04-04 11:05 | 139K | |
| ExercAP1.pdf | 2014-03-13 19:06 | 111K | |
| ExercAP2.pdf | 2014-03-20 22:48 | 166K | |
| ExercHML.pdf | 2014-05-02 02:13 | 478K | |
| ExercLTS0.pdf | 2014-02-20 21:53 | 385K | |
| ExercLTS1.pdf | 2014-03-06 23:07 | 103K | |
| IC-FINAIS2014.pdf | 2014-07-10 03:39 | 30K | |
| IC29JUN2014.pdf | 2014-06-29 18:14 | 24K | |
| IC2014orais.pdf | 2014-07-18 21:49 | 27K | |
| IeC1314-HMLogic.pdf | 2014-05-02 02:14 | 227K | |
| IeC1314-LTS1.pdf | 2014-02-20 21:53 | 114K | |
| IeC1314-LTS2.pdf | 2014-02-27 23:38 | 480K | |
| IeC1314-PA.pdf | 2014-03-13 19:06 | 378K | |
| IeC1314-mCRLs.pdf | 2014-04-10 22:10 | 319K | |
| IeCPautaEEspecial13-..> | 2014-09-20 00:23 | 35K | |
| IeCProjects.zip | 2014-04-10 22:16 | 105K | |
| MCRL2babysteps.pdf | 2014-05-13 16:38 | 419K | |