Login / Signup

Coalgebraic Component Specification and Verification in RSL.

Sun MengBernhard K. AichernigZhang Naixiao
Published in: PDCAT (2005)
Keyphrases