Home
About
Browse
Browse by Year
Browse by Research Area
Browse by Division
Browse by Author
Data Privacy Policy
Impressum
Login
Items where Division is "Rayna Dimitrova (RD)" and Year is 2021
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:
Author(s)/Creator(s)
|
Item Type
|
No Grouping
Jump to:
D
Number of items:
1
.
D
Dimitrova, Rayna
(2021)
Reactive Synthesis Beyond Realizability (Invited Tutorial).
UNSPECIFIED, Conference Series: Formal Methods in Computer-Aided Design
.
This list was generated on
Fri Dec 6 18:45:09 2024 CET
.