Login / Signup

Unfolding Concurrent Well-Structured Transition Systems.

Frédéric HerbreteauGrégoire SutreThe Quang Tran
Published in: TACAS (2007)
Keyphrases