Login / Signup

Constructive Formalization of Hybrid Logic with Eventualities.

Christian DoczkalGert Smolka
Published in: CPP (2011)
Keyphrases