Author

Alban Ponse

Catalogue records by Alban Ponse in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Modal logic and process algebra Alban Ponse 1995