An open tool architecture for the formal verification of logic controllers in processing systems Academic Article uri icon

publication date

  • July 1, 1999

start page

  • 4828

end page

  • 4833

volume

  • 32

issue

  • 2