Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Discrete event dynamic systems, 2009-06, Vol.19 (2), p.213-265
2009
Volltextzugriff (PDF)

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, p.206-227
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2004, p.487-490
2004
Volltextzugriff (PDF)

Théorie algébrique du codage
2000
Volltextzugriff (PDF)


2006 8th International Workshop on Discrete Event Systems, 2006, p.113-118
2006
Volltextzugriff (PDF)

Proceedings of the 44th IEEE Conference on Decision and Control, 2005, p.3499-3506
2005
Volltextzugriff (PDF)