Inicio Explorar Axuda
Iniciar sesión
jonathanvdc
/
modelverse
Fork de yentl/modelverse
Seguir 1
Destacar 0
Fork 0
Ficheiros
Árbore: abf36256d6
Ramas Etiquetas
modelverse
/
interface
Yentl Van Tendeloo abf36256d6 PN operational semantics seems to work (mostly, and unpolished) %!s(int64=9) %!d(string=hai) anos
..
HUTN abf36256d6 PN operational semantics seems to work (mostly, and unpolished) %!s(int64=9) %!d(string=hai) anos