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
KHOSLA S; MAIBAUM TSE
LECTURE NOTES IN COMPUTER SCIENCE, Vol. 398, , pp. 243–294
SPRINGER VERLAG
January 1, 1989
0302-9743
