Publication:2729079
From MaRDI portal
zbMath0971.68616MaRDI QIDQ2729079
Dennis Dams, Dragan Bošnački, Leszek Holenderski, Natalia Sidorova
Publication date: 6 November 2001
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)