Switch to: Citations

References in:

Indiscrete Models: Model Building and Model Checking over Linear Time

, &
In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 50--68 (2013)

Add references

You must login to add references.

No references yet.