Publications

Export 1 results:
Filters: First Letter Of Title is F  [Clear All Filters]
2000
Park, T., and P. I. Barton, "Formal verification of sequence controllers", Computers & Chemical Engineering, vol. 23, no. 11-12, pp. 1783 - 1793, 2000. Abstract