Multi-core symbolic bisimulation minimisation (Englisch)
Freier Zugriff
- Neue Suche nach: van Dijk, Tom
- Neue Suche nach: van de Pol, Jaco
- Neue Suche nach: van Dijk, Tom
- Neue Suche nach: van de Pol, Jaco
In:
International Journal on Software Tools for Technology Transfer
;
20
, 2
; 157-177
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Multi-core symbolic bisimulation minimisation
-
Beteiligte:van Dijk, Tom ( Autor:in ) / van de Pol, Jaco ( Autor:in )
-
Erschienen in:International Journal on Software Tools for Technology Transfer ; 20, 2 ; 157-177
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 83.00 / 54.52$jSoftware engineering / 83.00$jVolkswirtschaft: Allgemeines / 85.00 / 54.52 / 85.00$jBetriebswirtschaft: Allgemeines
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 83.00 Volkswirtschaft: Allgemeines / 54.52$jSoftware engineering / 83.00$jVolkswirtschaft: Allgemeines / 85.00 Betriebswirtschaft: Allgemeines / 54.52 Software engineering / 85.00$jBetriebswirtschaft: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 20, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 119
-
Recent advances in interactive and automated analysisMateescu, Radu et al. | 2017
- 125
-
CoqoonFaithfull, Alexander / Bengtson, Jesper / Tassi, Enrico / Tankink, Carst et al. | 2017
- 139
-
The Tinker tool for graphical tactic developmentGrov, Gudmund / Lin, Yuhui et al. | 2017
- 157
-
Multi-core symbolic bisimulation minimisationvan Dijk, Tom / van de Pol, Jaco et al. | 2017
- 179
-
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automataKlein, Joachim / Baier, Christel / Chrszon, Philipp / Daum, Marcus / Dubslaff, Clemens / Klüppelholz, Sascha / Märcker, Steffen / Müller, David et al. | 2017
- 195
-
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectivesKwiatkowska, Marta / Parker, David / Wiltsche, Clemens et al. | 2017
- 211
-
Automated translation of VDM to JML-annotated JavaTran-Jørgensen, Peter W. V. / Larsen, Peter Gorm / Leavens, Gary T. et al. | 2017