Automatic Verification of Real-Time Communicating Systems by Constraint-Solving

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 243-258
https://doi.org/10.1007/978-0-387-34878-0_18

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Minimization of timed transition systems
Published by Springer Nature ,2006
A fast mutual exclusion algorithm
ACM Transactions on Computer Systems, 1987

Cited by 28 articles