Export 1 results:
Author Title [ Type
] Year Filters: First Letter Of Title is I and Author is P. Lammich [Clear All Filters]
, “Iterable Forward Reachability Analysis of Monitor-DPNs”, in Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt), 2013.