˜Dieœ Entwicklung der Finanzierung in der Schweizerischen Elektrizitätswirtschaft

von Wyss, Anton
Veröffentlicht 1964

Die Entwicklung der Finanzierung in der schweizerischen Elektrizitätswirtschaft

von Wyss, Anton
Veröffentlicht 1964

Die Entwicklung der Finanzierung in der schweizerischen Elektrizitätswirtschaft

von Wyss, Anton
Veröffentlicht 1964

˜Dieœ Entwicklung der Finanzierung in der schweizerischen Blektrizitätswirtschaft

von Wyss, Anton
Veröffentlicht 1964

Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview

von Wijs, Anton
Veröffentlicht in FACS (19. : 2023 : Online) Formal aspects of component software (2024)

<<Die>> Entwicklung der Finanzierung in der schweizerischen Elekrizitätswirtschaft

von Wyss, Anton
Veröffentlicht 1964

GPU Acceleration of Bounded Model Checking with ParaFROST

von Osama, Muhammad
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

GPUEXPLORE 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data

von Wijs, Anton
Veröffentlicht in SPIN (29. : 2023 : Paris) Model checking software (2023)

A GPU Tree Database for Many-Core Explicit State Space Exploration

von Wijs, Anton
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

von Osama, Muhammad
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion

von Putter, Sander de
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

SAT Solving with GPU Accelerated Inprocessing

von Osama, Muhammad
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

From timed Xt to [my]CRL : combining performance and functional analysis

von Wijs, Anton J.
Veröffentlicht 2004

Pruning state spaces with extended beam search

von Dashti, M. Tobai
Veröffentlicht 2006

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, proceedings

Veröffentlicht 2021

ALPINIST: An Annotation-Aware GPU Program Optimizer

von Sakar, Ömer
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Heidelbergs vierte akademische Jubelfeier : ein Denkmal für jetzige und künftige Pfälzer

von Viß, Anton J.
Veröffentlicht 1787

Model checking software : 23rd international symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings

Veröffentlicht 2016

Solving scheduling problems by untimed model checking

von Wijs, Anton J.
Veröffentlicht 2006

An O(m log n) algorithm for branching bisimilarity on labelled transition systems

von Jansen, David N.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)