Follow
Panagiotis Tzounakis
Panagiotis Tzounakis
School of Mathematics at the Aristotle University of Thessaloniki
Verified email at math.auth.gr
Title
Cited by
Cited by
Year
Verification with real-time COSPAN
C Courcoubetis, D Dill, M Chatzaki, P Tzounakis
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
151993
Adding Dense Time Properties to Finite-State Machines: the Tool Cospan
C Courcoubetis, DL Dill, P Tzounakis
Submitted to a journal, 0
1
The system can't perform the operation now. Try again later.
Articles 1–2