Skip to main content
K
OBRA
English
Deutsch
Log In
Log in
New user? Click here to register.
Communities & Collections
All of DSpace
Publish !
About KOBRA
Home
Browse by Author
Browsing by Author "Hutagalung, Milka"
Browse
Filter results by typing the first few letters
All browse results
Now showing
1 - 1 of 1
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
Item
Buffered Simulation for Büchi Automata
(
2019
)
Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik
;
Lange, Martin (Prof. Dr.)
;
Kučera, Antonín (Prof. Dr.)
Show more