Enriched μ–Calculus Pushdown Module Checking
Published in Lecture notes in computer science • Oct 6, 2007
Authors:,,
Alessandro Ferrante
Aniello Murano
Mimmo Parente
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!