Embeddings of Hybrid Automata in Process Algebra

There is no fulltext present in this item.

Title:	Embeddings of Hybrid Automata in Process Algebra
Author(s):	Willemse, T.A.C.
Publication year:	2004
In:	Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Proceedings of IFM2004, pp. 343-362
Publisher:	Berlin ; Hong Kong : Springer-Verlag
ISBN:	3540213775
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/60389
Display more details
Editor(s):	Boiten, E.A.; Derrick, J.; Smith, G.
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Book title:	Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Proceedings of IFM2004
Page start:	p. 343
Page end:	p. 362