Alan R. Flora-Holmquist

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

Alan R. Flora-Holmquist, Edward Morton, James D. O'Grady, Mark G. Staskauskas
The virtual finite-state machine design and implementation paradigm. Bell Labs Tech. J. 2 (1) (1997)
David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
Alan R. Flora-Holmquist, Mark G. Staskauskas
Formal validation of virtual finite state machines. WIFT (1995)