Skip to main content
profile image
Selected Works of Leon Osterweil
Article
The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification
Proceedings of the 23rd International Conference on Software Engineering (2001)
  • JM Cobleigh
  • LA Clarke
  • LJ Osterweil
Link
Disciplines
Publication Date
January 1, 2001
Citation Information
JM Cobleigh, LA Clarke and LJ Osterweil. "The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification" Proceedings of the 23rd International Conference on Software Engineering (2001)
Available at: http://works.bepress.com/leon_osterweil/48/