Automating the refinement of specifications for distributed systems via syntactic transformations Article

cited authors

  • Attie, P; Das, C

publication date

  • November 1997

category

Digital Object Identifier (DOI)

volume

  • 28

issue

  • 11

research area