Login / Signup

The Small Model Property: How Small Can It Be?

Amir PnueliYoav RodehOfer StrichmanMichael Siegel
Published in: Inf. Comput. (2002)
Keyphrases