Consistency Verification of Specification Rules (BiBTeX)

@InProceedings{hoang15:_consis_verif_specif_rules,
  author = 	 {Thai Son Hoang and Shinji Itoh and Kyohei Oyama and Kunihiko Miyazaki and Hironobu Kuruma and Naoto Sato},
  title = 	 {Consistency Verification of Specification Rules},
  crossref =     {butler15:_formal_method_softw_engin_proceed},
  pages = 	 {50--66},
  url = 	 {http://dx.doi.org/10.1007/978-3-319-25423-4_4}
}

@Proceedings{butler15:_formal_method_softw_engin_proceed,
  year = 	 2015,
  booktitle =    {ICFEM 2015},
  editor = 	 {Michael Butler and Sylvain Conchon and Fatiha Za{\"{\i}}di},
  volume = 	 9407,
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Paris, France},
  month = 	 nov,
  publisher =    {Springer},
  url = 	 {http://dx.doi.org/10.1007/978-3-319-25423-4}
}