Login / Signup

A Combined Superposition and Model Evolution Calculus.

Peter BaumgartnerUwe Waldmann
Published in: J. Autom. Reason. (2011)
Keyphrases