Resultados de la búsqueda
Crear la página «Mjoseh» en este wiki. Véanse también los resultados de la búsqueda.
- # {{jalonso}}, {{garanda}} , {{jborrego}}, {{magdalena}} y {{mjoseh}}: <br> '''Extending attribute exploration by means of Boolean derivates''' # {{fmartin}}, {{jalonso}}, {{mjoseh}}, {{jruiz}}: <br> {{j|2004-caepia.pdf|Formal Verification of Molecular Com38 KB (5040 palabras) - 20:02 12 feb 2011
- : {{fmartin}}, {{jalonso}}, {{mjoseh}}, {{jruiz}}: ''Formal Verification of a Generic Framework to Synthesize SA1017 bytes (150 palabras) - 12:33 19 nov 2008
- | {{jalonso}} and {{mjoseh}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/FM.tgz Version PVS-3.2].1 KB (166 palabras) - 13:14 4 oct 2011
- * '''Autores:''' {{jalonso}}, {{mjoseh}} y {{fjesus}}.645 bytes (87 palabras) - 19:02 1 jun 2010
- | {{jalonso}}, {{mjoseh}} and {{fmartin}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/PROTEMO.tgz Version in PVS-3.2]1 KB (207 palabras) - 14:19 8 feb 2012
- * '''Autores:''' {{jalonso}} y {{mjoseh}}.998 bytes (148 palabras) - 19:38 1 jun 2010
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/afc.tgz Version PVS-3.2].2 KB (232 palabras) - 13:15 4 oct 2011
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} y {{jruiz}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/pl.tgz Version PVS-3.2].2 KB (233 palabras) - 13:16 4 oct 2011
- | {{jalonso}} and {{mjoseh}}.718 bytes (112 palabras) - 11:34 2 jun 2010
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/alc.tgz Version PVS-3.2].2 KB (319 palabras) - 12:21 7 jun 2012
- | {{jalonso}} and {{mjoseh}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/refinamiento.tgz Version PVS-3.2].1002 bytes (153 palabras) - 13:16 4 oct 2011
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. * [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/alc.tgz Version PVS-3.2].2 KB (299 palabras) - 18:49 30 sep 2011
- * '''Ponente:''' {{mjoseh}} (Grupo de Lógica Computacional - Universidad de Sevilla).1 KB (220 palabras) - 17:24 3 may 2021