Behavioral Consistency Validation of UML Diagrams.

Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai

Browse the full SEFM paper archive.