Lubos Brim · 4 obras en el catálogoObrasMathematical Foundations of Computer Science, 1998CONCUR 2002-concurrency theoryCCONCUR 2002 - Concurrency TheoryCONCUR 2002 - Concurrency TheoryFFormal Methods : Applications and TechnologyFormal Methods : Applications and Technology