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...






BMC bioinformatics, 2012, Vol.13 Suppl 17 (Suppl 17), p.S15-S15, Article S15
2012
Link zum Volltext

Journal of bioinformatics and computational biology, 2012-08, Vol.10 (4), p.1231001
2012
Link zum Volltext


Automata, Languages and Programming, 2001, p.396-407
2001
Link zum Volltext

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005, p.201-212
2005
Link zum Volltext

Open Access
A theory of regular MSC languages
Information and computation, 2005-10, Vol.202 (1), p.1-38
2005
Link zum Volltext


Open Access
Causal Message Sequence Charts
Theoretical computer science, 2009-09, Vol.410 (41), p.4094-4110
2009
Link zum Volltext

Theoretical computer science, 2002-03, Vol.274 (1), p.117-149
2002
Link zum Volltext

Theoretical computer science, 2011-05, Vol.412 (21), p.2188-2206
2011
Link zum Volltext

Lazy Rectangular Hybrid Automata
Hybrid Systems: Computation and Control, 2004, p.1-15
2004
Link zum Volltext



Timed vs. Time-Triggered Automata
CONCUR 2004 - Concurrency Theory, 2004, p.340-354
2004
Link zum Volltext

Theoretical computer science, 2011-06, Vol.412 (26), p.2840-2853
2011
Link zum Volltext

Application and Theory of Petri Nets 2002, 2002, p.335-351
2002
Link zum Volltext


Application and Theory of Petri Nets 2002, 2002, p.68-69
2002
Link zum Volltext

IEEE/ACM transactions on computational biology and bioinformatics, 2012-09, Vol.9 (5), p.1352-1365
2012
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt