|
LTL Model-Checking for Malware Detection / / Fu Song, Tayssir Touili --
|
2013
|
1
|
|
LTL Model Checking of Interval Markov Chains / / Michael Benedikt, Rastislav Lenhardt, James Worrell --
|
2013
|
1
|
|
LTL-Model-Checking via Model Composition / / Ingo Felscher --
|
2012
|
1
|
|
LTL Model Checking with Neco / / Łukasz Fronc, Alexandre Duret-Lutz
|
2013
|
1
|
|
LTL to Büchi Automata Translation: Fast and More Deterministic / / Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák and Jan Strejček --
|
2012
|
1
|
|
LTR Retroelement-Derived Protein-Coding Genes and Vertebrate Evolution / / Domitille Chalopin, Marta Tomaszkiewicz, Delphine Galiana and Jean-Nicolas Volff --
|
2012
|
1
|
|
LTR Retrotransposons as Controlling Elements of Genome Response to Stress? / / Quynh Trang Bui, Marie-Angèle Grandbastien --
|
2012
|
1
|
|
LTS Semantics for Compensation-Based Processes / / Roberto Bruni and Anne Kersten Kauer --
|
2013
|
1
|