SAS'05 Proceedings of the 12th international conference on Static Analysis
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Hi-index | 0.00 |