Home
About
Browse
Browse by Year
Browse by Research Area
Browse by Division
Browse by Author
Data Privacy Policy
Impressum
Login
Items where Author is "
Yanich, Ann
"
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
No Grouping
Jump to:
Conference or Workshop Item (
A Paper
)
Number of items:
1
.
Conference or Workshop Item (
A Paper
)
Gieseking, Manuel
and
Hecking-Harbusch, Jesko
and
Yanich, Ann
(2021)
A Web Interface for Petri Nets with Transits and Petri Games.
In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems.
Conference:
TACAS Tools and Algorithms for Construction and Analysis of Systems
This list was generated on
Thu Nov 21 12:31:00 2024 CET
.