Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
by Ed Brinksma
Genre:
ai
Description
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995 by Ed Brinksma. Read online or download for free.
