Documents
Translation of Pi-Calculus into IF-2.0, a language for classical transition system
Auteur
Hugo Venturini
Ajouté à mes notifications
Vous serez informé des prochaines publications.