Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
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 :
https://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
This item appears in the following Collection(s)
Faculty of Science
[28822]
Academic publications
[186310]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics