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
Experts has a new look! Let us know what you think of the updates.
Provide feedback