Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Author
Schwarick, Martin (2)
(remove)
Year of publication
2009
(2)
Document Type
Conference Proceeding
(2)
Language
English
(2)
Keywords
Petri Nets (2)
(remove)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(2)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
CSL model checking of biochemical networks with Interval Decision Diagrams
(2009)
Heiner, Monika
;
Schwarick, Martin
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
(2009)
Heiner, Monika
;
Schwarick, Martin
;
Tovchigrechko, Alexey A.
1
to
2
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.