Erscheinungsjahr
Datenquelle
Format
Lizenz
Sprache
-
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)
Freier ZugriffDataCite | 2014|Schlagwörter: Parameterized verification -
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks
Freier ZugriffDataCite | 2012|Schlagwörter: Parameterized Verification -
Reachability in Parameterized Systems: All Flavors of Threshold Automata
Freier ZugriffDataCite | 2018|Schlagwörter: parameterized verification -
A unified view of parameterized verification of abstract models of broadcast communication
Online Contents | 2016|Schlagwörter: Parameterized verification -
Distributed Local Strategies in Broadcast Networks
Freier ZugriffDataCite | 2015|Schlagwörter: parameterized verification -
Parameterized verification of leader/follower systems via first-order temporal logic
Freier ZugriffOnline Contents | 2021|Schlagwörter: Parameterized verification -
Parameterized Verification of Many Identical Probabilistic Timed Processes
Freier ZugriffDataCite | 2013|Schlagwörter: parameterized verification -
Concurrent Games with Arbitrarily Many Players (Invited Talk)
Freier ZugriffBASE | 2020|Schlagwörter: parameterized verification -
Concurrent Parameterized Games
Freier ZugriffBASE | 2019|Schlagwörter: parameterized verification -
A unified view of parameterized verification of abstract models of broadcast communication
Online Contents | 2016|Schlagwörter: Parameterized verification -
Parameterized Communicating Automata: Complementation and Model Checking
Freier ZugriffDataCite | 2014|Schlagwörter: parameterized verification -
The complexity of verifying population protocols
Freier ZugriffOnline Contents | 2021|Schlagwörter: Parameterized verification -
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)
Freier ZugriffBASE | 2014|Schlagwörter: Parameterized verification -
Reachability in Parameterized Systems: All Flavors of Threshold Automata
Freier ZugriffBASE | 2018|Schlagwörter: parameterized verification -
Fine-Grained Complexity of Safety Verification
Freier ZugriffOnline Contents | 2020|Schlagwörter: Parameterized verification -
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Freier ZugriffBASE | 2019|Schlagwörter: parameterized verification -
Parameterized verification of systems with component identities, using view abstraction
Online Contents | 2022|Schlagwörter: Parameterized verification -
Concurrent Games with Arbitrarily Many Players (Invited Talk)
Freier ZugriffDataCite | 2020|Schlagwörter: parameterized verification -
Concurrent Parameterized Games
Freier ZugriffDataCite | 2019|Schlagwörter: parameterized verification -
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks
Freier ZugriffBASE | 2012|Schlagwörter: Parameterized Verification
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.