- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1678-4804
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Bounded model checking for fixed-point digital filters ; volume:22 ; number:1 ; day:20 ; month:5 ; year:2016 ; pages:1-20 ; date:12.2016
Journal of the Brazilian Computer Society / Sociedade Brasileira de Computação ; 22, Heft 1 (20.5.2016), 1-20, 12.2016
- Urheber
-
Abreu, Renato B.
- Beteiligte Personen und Organisationen
-
Gadelha, Mikhail Y. R.
Cordeiro, Lucas C.
de Lima Filho, Eddie B.
da Silva, Waldir S.
SpringerLink (Online service)
- DOI
-
10.1186/s13173-016-0041-8
- URN
-
urn:nbn:de:1111-201605221982
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 11:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Abreu, Renato B.
- Gadelha, Mikhail Y. R.
- Cordeiro, Lucas C.
- de Lima Filho, Eddie B.
- da Silva, Waldir S.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Fast iterative reverse filters using fixed-point acceleration
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Efficient distributed bounded property checking
The structure of fixed-point logics
Notes on multidimensional fixed-point theorems
Semiring Provenance for Fixed-Point Logic
On Symmetric Circuits and Fixed-Point Logics
Fixed-point oblivious quantum amplitude-amplification algorithm
Fixed-point results for convex orbital operators
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Fast iterative reverse filters using fixed-point acceleration
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Efficient distributed bounded property checking
The structure of fixed-point logics
Notes on multidimensional fixed-point theorems
Semiring Provenance for Fixed-Point Logic
On Symmetric Circuits and Fixed-Point Logics
Fixed-point oblivious quantum amplitude-amplification algorithm
Fixed-point results for convex orbital operators
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Fast iterative reverse filters using fixed-point acceleration
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Efficient distributed bounded property checking
The structure of fixed-point logics
Notes on multidimensional fixed-point theorems
Semiring Provenance for Fixed-Point Logic
On Symmetric Circuits and Fixed-Point Logics
Fixed-point oblivious quantum amplitude-amplification algorithm
Fixed-point results for convex orbital operators