EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Wang, F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2005

Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. In: Formal techniques for networked and distributed systems, FORTE, Taipei, Taiwan. pp. 98-112. Lecture notes in computer science 3731. Springer-Verlag. ISBN 3-540-29189-X
Strubbe, S.N. and Langerak, R. (2005) A Composition Operator for Systems with Active and Passive Actions. In: Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005, Taiwan. pp. 24-37. Lecture Notes in Computer Science 3731. Springer-Verlag. ISBN 354029189X

This list was generated on Fri Mar 24 08:14:58 CET 2017.