Report copyright - 4/13/02ETAPS 20021 A family of resource-bound process algebras for modeling and analysis of embedded systems Insup Lee 1, Oleg Sokolsky 1, Anna Philippou
Please pass captcha verification before submit form
Please pass captcha verification before submit form