Using temporal logic to prototype interactive systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

C. W. Johnson. Using temporal logic to prototype interactive systems. In Dan Diaper, David J. Gilmore, Gilbert Cockton, Brian Shackel, editors, Human-Computer Interaction, INTERACT 90, Proceedings of the IFIP TC13 Third Interantional Conference on Human-Computer Interaction, Cambridge, UK, 27-31 August, 1990. pages 1019-1020, North-Holland, 1990.

This author has not been identified. Look up 'C. W. Johnson' in Google

runs on WebDSL