SDN on ACIDs.

Maja Curic Georg Carle Zoran Despotovic Ramin Khalili Artur Hecker

Published in: CAN@CoNEXT (2017)

Keyphrases

process algebra
formal specification
concurrent systems
model checking
information systems
database systems
life cycle