- Journal name
- DAIMI Report Series
- Publisher
- Aarhus University Library
- Website
- http://ojs.statsbiblioteket.dk/index.php/daimipb/index
- Field
- Computer Science
- ISSN
- 0105-8517
- Country
- Denmark
- Specialty
- Computer Science
- Keywords
- Logic, programming, and type systems | Formal Methods in Verification | semigroups and automata theory | Petri Nets in System Modeling | Usability and User Interface Design | Information Systems Theories and Implementation | Software Engineering Techniques and Practices | Computability, Logic, AI Algorithms
Directory information is supplied by the imported database. Inclusion does not endorse a journal or confirm indexing, editorial quality or current open-access terms.