Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Mostrati risultati da 1 a 6 di 6
Central Limit Model Checking
2019-01-01 Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
Decidability results for sets with atoms
2006-01-01 Dovier, A; Formisano, A; Omodeo, Eugenio
Faster statistical model checking for unbounded temporal properties
2017-01-01 Daca, P.; Henzinger, T. A.; Kretinsky, J.; Petrov, T.
Interval Temporal Logic for Visibly Pushdown Systems
2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Interval vs. point temporal logic model checking: An expressiveness comparison
2019-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking a Logic for True Concurrency
2020-01-01 Baldan, Paolo; Padoan, Tommaso
Titolo | Data di pubblicazione | Autori | File |
---|---|---|---|
Central Limit Model Checking | 1-gen-2019 | Bortolussi, Luca + | |
Decidability results for sets with atoms | 1-gen-2006 | OMODEO, EUGENIO + | |
Faster statistical model checking for unbounded temporal properties | 1-gen-2017 | Petrov T. + | |
Interval Temporal Logic for Visibly Pushdown Systems | 1-gen-2023 | Peron A. + | |
Interval vs. point temporal logic model checking: An expressiveness comparison | 1-gen-2019 | Peron, Adriano + | |
Model Checking a Logic for True Concurrency | 1-gen-2020 | Padoan, Tommaso + |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile