Results 351 to 360 of about 430,787 (365)

Limit-Deterministic Büchi Automata for Linear Temporal Logic

International Conference on Computer Aided Verification, 2016
Salomon Sickert, J. Esparza, Stefan Jaax, Jan Křetínský   +3 more
semanticscholar   +1 more source

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae

2023
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider   +3 more
openaire   +1 more source

Molecules with a sense of logic: a progress report

Chemical Society Reviews, 2015
Joakim Andréasson, Uwe Pischel
exaly  

Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping

Euromicro Symposium on Digital Systems Design, 2016
Frank Hilken, Martin Gogolla
semanticscholar   +1 more source

Basic Propositional Linear Temporal Logic

2008
Fred Kröger, Stephan Merz
openaire   +1 more source

Molecular logic and computing

Nature Nanotechnology, 2007
Amilra Prasanna De Silva
exaly  

Enzyme-based logic systems for information processing

Chemical Society Reviews, 2010
Evgeny Katz, Vladimir Privman
exaly  

Quantitative and logic modelling of molecular and gene networks

Nature Reviews Genetics, 2015
Nicolas Le Novère
exaly  

Linear-Time Temporal Logic

Martin Hofmann, Martin Lange
openaire   +1 more source

Smart molecules at work—mimicking advanced logic operations

Chemical Society Reviews, 2010
Joakim Andréasson, Uwe Pischel
exaly