Home
Scholarly Works
THE PRESCRIPTION AND DESCRIPTION OF STATE BASED...
Journal article
THE PRESCRIPTION AND DESCRIPTION OF STATE BASED SYSTEMS
Authors
KHOSLA S; MAIBAUM TSE
Journal
LECTURE NOTES IN COMPUTER SCIENCE, Vol. 398, , pp. 243–294
Publisher
SPRINGER VERLAG
Publication Date
January 1, 1989
ISSN
0302-9743
Associated Experts
Thomas Maibaum
Professor Emeritus, Faculty of Engineering
Visit profile
Labels
Fields of Research (FoR)
46 Information and computing sciences
Contact the Experts team
Get technical help
or
Provide website feedback