In this work, we propose two translations: one from extended

Author(s):  
K. Altisen ◽  
F. Cassez ◽  
S. Tripakis
Sign in / Sign up

Export Citation Format

Share Document