A temporal framework for information systems specification and verification
By: Chen ho Kung
Contributors: Universitetet i Trondheim
Published: 1984
Language: eng
Number of pages: 145
Notes: Thesis (doctoral)--University of Trondheim, 1984.