scientific article; zbMATH DE number 1303725
From MaRDI portal
Publication:4250360
zbMath0929.94034MaRDI QIDQ4250360
Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff
Publication date: 1 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
time Petri netsimplementationtrace theorycomputer aided verificationbounded delay asynchronous circuitsexplicit state-exploration algorithm