The top documents tagged [francesco spegni]

Parameterized Model Checking for Timed Systems with Conjunctive Guards
Science Parameterized Model Checking for Timed Systems with Conjunctive Guards

253 views