Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
Reviewer for 13th International Symposium on Automated Technology for Verification and Analysis (ATVA) (Event)
Stefan Mitsch (Reviewer)
Department of Cooperative Information Systems
Activity
:
Publication peer-review and editorial work
›
Publication Peer-review
Period
12 Oct 2015
→
15 Oct 2015
Event type
Conference
Location
China
Show on map
Fields of science
102027 Web engineering
102 Computer Sciences
102015 Information systems
JKU Focus areas
Computation in Informatics and Mathematics