Results 311 to 320 of about 2,393,674 (352)

Temporal logic

2001
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre Mckenzie   +7 more
openaire   +3 more sources

Temporal Logic

2011
V. S. Alagar, K. Periyasamy
openaire   +2 more sources

Temporal Logic

2021
openaire   +1 more source

Temporal and Modal Logic

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1991
E. Emerson
semanticscholar   +1 more source

Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic

25 Years of Model Checking, 2008
E. Clarke
semanticscholar   +1 more source

Temporal Logic

Hantao Zhang, Jian Zhang
openaire   +2 more sources

Temporal Logic

2019
Jiacun Wang, William Tepfenhart
openaire   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly  

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly