The top documents tagged [spegni univpm]

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

253 views