Login / Signup

A model for concurrent states and its coverage criteria.

Hideharu KojimaYoshiaki KakudaJuichi TakahashiTomoyuki Ohta
Published in: ISADS (2009)
Keyphrases