Using temporal logic to prototype interactive systems - researchr publication

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.

Abstract is missing.

runs on WebDSL