A Polynomial Translation of Mobile Ambients into Safe Petri Nets.

Detalles Bibliográficos
Formato: Libro
Acceso en línea:Ver documento en línea
Descripción
ISBN:9783658117658