Login / Signup

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.

Patrick StünkelHarald KönigYngve LamoAdrian Rutle
Published in: Formal Aspects Comput. (2021)
Keyphrases