Sortiert nach
Implementation and Applications of Automata, p.57-67
Link zum Volltext
Automated Technology for Verification and Analysis, p.25-41
Link zum Volltext
Automated Technology for Verification and Analysis, p.414-430
Link zum Volltext
Automated Technology for Verification and Analysis, p.137-153
Link zum Volltext
International journal on software tools for technology transfer, 2016-10, Vol.18 (5), p.495-516
2016
Link zum Volltext
IEEE transactions on smart grid, 2023-05, Vol.14 (3), p.2352-2366
2023
- Link zum Volltext
Automated Technology for Verification and Analysis, p.285-302
Link zum Volltext
Automated Technology for Verification and Analysis, p.154-170
Link zum Volltext
Automated Technology for Verification and Analysis, p.42-57
Link zum Volltext
Automated Technology for Verification and Analysis, p.337-353
Link zum Volltext
Automated Technology for Verification and Analysis, p.327-333
Link zum Volltext
Automated Technology for Verification and Analysis, p.100-116
Link zum Volltext
Automated Technology for Verification and Analysis, p.397-413
Link zum Volltext
Automated Technology for Verification and Analysis, p.354-370
Link zum Volltext
Automated Technology for Verification and Analysis, p.77-82
Link zum Volltext
Automated Technology for Verification and Analysis, p.249-265
Link zum Volltext
Automated Technology for Verification and Analysis, p.303-319
Link zum Volltext
Automated Technology for Verification and Analysis, p.171-187
Link zum Volltext
International journal on software tools for technology transfer, 2021-10, Vol.23 (5), p.825-825
2021
Link zum Volltext
Automated Technology for Verification and Analysis, p.371-387
Link zum Volltext
Automated Technology for Verification and Analysis, p.58-74
Link zum Volltext
Formal methods in system design, 2020-11, Vol.55 (3), p.137-170
2020
Link zum Volltext
Correct System Design, 2015, p.238-259
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Theory Of Computation
- Science & Technology - Other Topics
- Software Engineering/programming And Operating Systems
- Tree Automaton
- Logic
- Software Engineering
- Datavetenskap
- Automata
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Engineering
- Formal Verification
- Model Check
- Abstract Domain
- Decision Procedure
Kollektion
- Ingenta
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- EZB Electronic Journals Library
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- RCN full-text journals@Ovid
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- Business Source Ultimate
- IngentaConnect Journals
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Electronic Proceedings In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Acta Informatica
- Formal Methods In System Design
- Agriculture
- Applied Sciences
- Electronic Notes In Theoretical Computer Science
- Ieee Transactions On Smart Grid
- Journal Of Automated Reasoning