Consistency Verification of Specification Rules.

Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato

Browse the full ICFEM paper archive.