Login / Signup

From StPowla processes to SRML models.

Laura BocchiStephen GortonStephan Reiff-Marganiec
Published in: Formal Aspects Comput. (2010)
Keyphrases