UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 7281

Finite State Machine Based SDL
Sinnott,R.O. Hogrefe,D.

Publication Type: Book
Appeared in: Chapter 1, Part II of Formal Methods for Object-Oriented Distributed Systems
Page Numbers : 55-76
Publisher: Cambridge University Press
Year: 2001
ISBN/ISSN:
Abstract:

No abstract available.


Bibtex entry Endnote XML