From data structures to process structure

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Computer Aided Verification
Pages	-
Number of pages	11
Publication status	Published - 1991

Keywords

From data Structure to Process Structure
Brinksma, E. & Kars, W. T. M., 1992, Enschede: University of Twente. 30 p. (Memoranda informatica; no. 92-39)
Research output: Book/Report › Report › Professional