"The Spin Verification System, Proceedings of a DIMACS Workshop, New ..."

Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled (1997)

Details and statistics

DOI: 10.1090/DIMACS/032

access: closed

type: Editorship

metadata version: 2023-05-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics