Formalism and method

Autor: Astesiano, Egidio, Reggio, Gianna *
Zdroj: In Theoretical Computer Science 2000 236(1):3-34
Databáze: ScienceDirect