Login / Signup

Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.

Vitus S. W. LamJulian A. Padget
Published in: IFM (2005)
Keyphrases