Login / Signup

Simulating Dynamic Systems Using Linear Time Calculus Theories.

Bart BogaertsJoachim JansenMaurice BruynoogheBroes De CatJoost VennekensMarc Denecker
Published in: Theory Pract. Log. Program. (2014)
Keyphrases