programming run-time parallel control search for reflection-box (0)

by O Brukman, S Dolev
Venue:In: Proceedings of the 6th NASA langley formal methods workshop. A poster in the Second IEEE international