Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
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