| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Schrammel, Daniel Kroening |
2LS for Program Analysis - (Competition Contribution).  |
TACAS  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham |
Some Complexity Results for Stateful Network Verification. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicun Gao, Damien Zufferey |
Interpolants in Nonlinear Theories Over the Reals. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Poetzl, Daniel Kroening |
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Konecný |
PTIME Computation of Transitive Closures of Octagonal Relations. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening |
v2c - A Verilog to C Translator. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Favre, Hagen Völzer, Peter Müller 0001 |
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate |
Safety Verification of Continuous-Space Pure Jump Markov Processes. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Chen 0011, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang |
Parametric Runtime Verification of C Programs. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai 0001 |
Complementing Semi-deterministic Büchi Automata. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neider, Shambwaditya Saha, P. Madhusudan |
Synthesizing Piece-Wise Functions by Learning Classifiers. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Karlheinz Friedberger |
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Normann Decker, Jannis Harder 0001, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma |
Runtime Monitoring with Union-Find Structures. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler |
Online Timed Pattern Matching Using Derivatives. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Avanzini, Georg Moser, Michael Schaper |
TcT: Tyrolean Complexity Tool. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen |
Safety-Constrained Reinforcement Learning for MDPs. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kedar S. Namjoshi, Richard J. Trefler |
Parameterized Compositional Model Checking. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olli Saarikivi, Keijo Heljanko |
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad |
Approaching the Coverability Problem Continuously. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
The xSAP Safety Analysis Platform. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise |
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Almeida 0003, Lukás Holík, Richard Mayr |
Reduction of Nondeterministic Tree Automata. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar |
Partial Order Reduction for Event-Driven Multi-threaded Programs. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Kenneth Johnson, Colin Paterson |
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neider, Ufuk Topcu |
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom van Dijk, Jaco van de Pol |
Multi-core Symbolic Bisimulation Minimisation. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Junkil Park, Miroslav Pajic, Insup Lee 0001, Oleg Sokolsky |
Scalable Verification of Linear Controller Software. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan 0001 |
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Anton Wijs |
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink |
Coqoon - An IDE for Interactive Proof Development in Coq. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan |
Acceleration in Multi-PushDown Systems. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimír Still, Petr Rockai, Jiri Barnat |
DIVINE: Explicit-State LTL Model Checker - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Nadel, Vadim Ryvchin |
Bit-Vector Optimization. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 |
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Christakis, K. Rustan M. Leino, Peter Müller 0001, Valentin Wüstholz |
Integrated Environment for Diagnosing Verification Errors. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz |
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhui Lin, Pierre Le Bras, Gudmund Grov |
Developing and Debugging Proof Strategies by Tinkering. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
Probabilistic CTL*: The Deductive Way. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Efficient Syntax-Driven Lumping of Differential Equations. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Löwe |
CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche |
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
JDart: A Dynamic Symbolic Analysis Framework. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska 0002, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska |
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudmund Grov, Vytautas Tumas |
Tactics for the Dafny Program Verifier. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
PrDK: Protocol Programming with Automata. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar |
Robots at the Edge of the Cloud. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská |
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar |
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov |
Faster Statistical Model Checking for Unbounded Temporal Properties. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan 0001 |
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist |
Online and Compositional Learning of Controllers with Application to Floor Heating. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Egor George Karpenkov |
LPI: Software Verification with Local Policy Iteration - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Lange, Nobuko Yoshida |
Characteristic Formulae for Session Types. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Löding, P. Madhusudan, Daniel Neider |
Abstract Learning Frameworks for Synthesis. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Evrard |
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Enea, Azadeh Farzan |
On Atomicity in Presence of Non-atomic Writes. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel |
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001 |
Advances in Symbolic Probabilistic Model Checking with PRISM. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski |
Ultimate Automizer with Two-track Proofs - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Caterina Urban, Arie Gurfinkel, Temesghen Kahsai |
Synthesizing Ranking Functions from Bits and Pieces. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman |
T2: Temporal Property Verification. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Bakhirkin, Nir Piterman |
Finding Recurrent Sets with Backward Analysis and Trace Partitioning. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Günther, Alfons Laarman, Georg Weissenbacher |
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001 |
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 |
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar |
Run Forester, Run Backwards! - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Jean-François Raskin (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate |
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001 |
Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa 0001, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo |
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche |
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar |
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Yue Tang 0001, Jakaria Abdullah, Martin Stigge, Wang Yi 0001 |
Scalable Timing Analysis with Refinement. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Chistikov 0001, Rayna Dimitrova, Rupak Majumdar |
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang |
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar |
Nested Antichains for WS1S. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein |
Semantic Importance Sampling for Statistical Model Checking. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Reng Zeng, Zhuo Sun, Su Liu, Xudong He |
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer |
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Thierry-Mieg |
Symbolic Model-Checking Using ITS-Tools. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera 0001 |
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Caterina Urban |
FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wang 0062, Clark W. Barrett |
Cascade - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre |
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom van Dijk, Jaco van de Pol |
Sylvan: Multi-Core Decision Diagrams. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta 0001, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov |
Model Checking Gene Regulatory Networks. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Müller, Petr Peringer, Tomás Vojnar |
Predator Hunting Party (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Djoudi, Sébastien Bardin |
BINSEC: Binary Code Analysis with Low-Level Regions. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
Parallel Explicit Model Checking for Generalized Büchi Automata. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
On Parallel Scalable Uniform SAT Witness Generation. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ocan Sankur |
Symbolic Quantitative Robustness Analysis of Timed Automata. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
HyComp: An SMT-Based Model Checker for Hybrid Systems. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Heidy Khlaaf, Nir Piterman |
Fairness for Infinite-State Systems. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl |
AProVE: Termination and Memory Safety of C Programs - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra |
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license