Skip to content

Tools and algorithms for the construction and analysis of systems

by TACAS '96 (1996 Passau, Germany) · 1996

Cover of Tools and algorithms for the construction and analysis of systems

No description available.

CongressesDevelopmentDistributed processingSystem designCongressElectronic data processingComputer software
Tools and algorithms for the construction and analysis of systems by TACAS '96 (1996 Passau, Germany) — book · Vinony