Sortiert nach
1st Edition 2017, 2017
Link zum Volltext
Programming Languages and Systems, p.533-553
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Link zum Volltext
CONCUR '97: Concurrency Theory, 1997, p.135-150
1997
Link zum Volltext
Logical methods in computer science, 2011, Vol.7, Issue 4 (4), p.4:1
2011
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14 (1)
2018
Link zum Volltext
Implementation and Applications of Automata, p.57-67
Link zum Volltext
Computer Aided Verification, p.210-226
Link zum Volltext
Formal methods in system design, 2011-04, Vol.38 (2), p.158-192
2011
Link zum Volltext
Computing, 2019-09, Vol.101 (9), p.1225-1226
2019
Link zum Volltext
ACM transactions on programming languages and systems, 2013-11, Vol.35 (3), p.1-49, Article 10
2013
Link zum Volltext
Computing, 2022-10, Vol.104 (10), p.2181-2201
2022
Link zum Volltext
International journal on software tools for technology transfer, 2014-04, Vol.16 (2), p.127-146
2014
Link zum Volltext
NETYS 2022: The 10th International Conference on Networked Systems, 2022, Vol.13464, p.16-30
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.565-590, Article 129
2023
Link zum Volltext
1, 2017
Link zum Volltext
Information and computation, 2018-08, Vol.261, p.383-400
2018
Link zum Volltext
Formal methods in system design, 2019-08, Vol.54 (1), p.4-26
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Software Engineering
- Network Hardware
- Algorithms & Data Structures
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Model Check
- Software
- Reachability Analysis
- Verification
- Networking And Internet Architecture
- Concurrent Program
- Software Engineering/programming And Operating Systems
- Automata. Abstract Machines. Turing Machines
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Springer Book Series
- EZB Free E-Journals
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- IngentaConnect Journals
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Cambridge Journals Online (DEFF)
- Oxford Journals
- IEEE Xplore
Zeitschrift / Serie
- Sigplan Notices
- Formal Methods In System Design
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Theoretical Computer Science
- Acm Sigplan Notices
- International Journal On Software Tools For Technology Transfer
- Computing
- Information And Computation
- Journal Of Computer And System Sciences
Neu hinzugefügt