The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jian Zhang 0001" ( http://dblp.L3S.de/Authors/Jian_Zhang_0001 )

URL (Homepage):  http://lcs.ios.ac.cn/~zj/  Author page on DBLP  Author page in RDF  Community of Jian Zhang 0001 in ASPL-2

Publication years (Num. hits)
1994-2002 (15) 2004-2007 (15) 2008-2012 (18) 2013-2015 (16) 2016-2017 (16) 2018-2019 (12)
Publication types (Num. hits)
article(18) book(1) inproceedings(73)
Venues (Conferences, Journals, ...)
CADE(5) CoRR(5) IJCAI(4) QSIC(4) TASE(4) AISC(3) CP(3) IJCAR(3) ISSRE(3) PRICAI(3) SAC(3) APAQS(2) APSEC(2) ASE(2) COMPSAC (1)(2) ICST Workshops(2) More (+10 of total 53)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 27 occurrences of 26 keywords

Results
Found 93 publication records. Showing 92 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang 0001, Binhai Zhu On some matching problems under the color-spanning model. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tianyong Wu, Xi Deng, Jun Yan 0009, Jian Zhang 0001 Analyses for specific defects in android applications: a survey. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang 0001 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang 0001 Approximating Integer Solution Counting via Space Quantification for Linear Constraints. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang 0001 Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. Search on Bibsonomy ISSAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Peng Zhang 0008, Jian Zhang 0001 Computing and estimating the volume of the solution space of SMT(LA) constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang 0001, Binhai Zhu On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ling Yang, Jun Yan 0009, Jian Zhang 0001 Generating minimal test set satisfying MC/DC criterion via SAT based approach. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang 0001, Hantao Zhang Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 VolCE: An Efficient Tool for Solving #SMT(LA) Problems. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001 A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang 0001, Feifei Ma Weak QMV algebras and some ring-like structures. Search on Bibsonomy Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang 0001, Jun Yan 0009 Detecting Energy Bugs in Android Apps Using Static Analysis. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiwei Yan, Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. Search on Bibsonomy QRS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan 0009, Jian Zhang 0001 InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications. Search on Bibsonomy SANER The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xi Deng, Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 Combinatorial Testing on Implementations of HTML5 Support. Search on Bibsonomy ICST Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan 0009, Jian Zhang 0001 Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang 0001, Binhai Zhu On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. Search on Bibsonomy FAW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang 0001 Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan 0009, Jian Zhang 0001 Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jiwei Yan, Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 Target Directed Event Sequence Generation for Android Applications. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 The Floating-Point Extension of Symbolic Execution Engine for Bug Detection. Search on Bibsonomy APSEC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hai Liu, Feifei Ma, Jian Zhang 0001 Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. Search on Bibsonomy PRICAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jierui Liu, Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation. Search on Bibsonomy ISSRE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang 0001 Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan 0009, Jian Zhang 0001 Relda2: an effective static analysis tool for resource leak detection in Android apps. Search on Bibsonomy ASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang 0001, Wenhui Zhang, Guangquan Zhang Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhiqiang Zhang 0007, Tianyong Wu, Jian Zhang 0001 Boundary value analysis in automatic white-box test generation. Search on Bibsonomy ISSRE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jeff Huang 0001, Jian Zhang 0001 SMT Solving for the Theory of Ordering Constraints. Search on Bibsonomy LCPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Zhiqiang Zhang 0007, Jun Yan 0009, Yong Zhao, Jian Zhang 0001 Generating combinatorial test suite using combinatorial optimization. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Zhiqiang Zhang 0007, Feifei Ma Automatic Generation of Combinatorial Test Data Search on Bibsonomy 2014   DOI  RDF
1Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. Search on Bibsonomy SERE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kai Ma, Jin Wang, Hongli Yang, Jun Yan 0009, Jian Zhang 0001, Shengchao Qin Choreography Scenario-Based Test Data Generation. Search on Bibsonomy TASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jian Zhang 0001 Finding orthogonal latin squares using finite model searching tools. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hantao Zhang, Jian Zhang 0001 MACE4 and SEM: A Comparison of Finite Model Generators. Search on Bibsonomy Automated Reasoning and Mathematics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yong Zhao, Zhiqiang Zhang 0007, Jun Yan 0009, Jian Zhang 0001 Cascade: A Test Generation Tool for Combinatorial Testing. Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chaorong Guo, Jian Zhang 0001, Jun Yan 0009, Zhiqiang Zhang 0007, Yanli Zhang Characterizing and detecting resource leaks in Android applications. Search on Bibsonomy ASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yan Hu, Jun Yan 0009, Jian Zhang 0001, He Jiang Profile directed systematic testing of concurrent programs. Search on Bibsonomy AST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Qixing Dong, Jun Yan 0009, Jian Zhang 0001, Fanping Zeng A Search Strategy Guided by Uncovered Branches for Concolic Testing. Search on Bibsonomy QSIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan 0009, Jian Zhang 0001 Towards Conformance Testing of Choreography Based on Scenario. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ji-Wei Jin, Feifei Ma, Jian Zhang 0001 Integrating Standard Dependency Schemes in QCSP Solvers. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhiqiang Zhang 0007, Xiaojian Liu, Jian Zhang 0001 Combinatorial Testing on ID3v2 Tags of MP3 Files. Search on Bibsonomy ICST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Feifei Ma, Zhiqiang Zhang 0007 Faulty Interaction Identification via Constraint Solving and Optimization. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jun Yan 0009, Jian Zhang 0001 Solving Generalized Optimization Problems Subject to SMT Constraints. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. Search on Bibsonomy TASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhiqiang Zhang 0007, Jian Zhang 0001 Characterizing failure-causing parameter interactions by adaptive testing. Search on Bibsonomy ISSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Baiqiang Chen, Jian Zhang 0001 Tuple density: a new metric for combinatorial test suites. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang 0001 Local lemma: a new strategy of pruning in SAT solvers. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Baiqiang Chen, Jun Yan 0009, Jian Zhang 0001 Combinatorial Testing with Shielding Parameters. Search on Bibsonomy APSEC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xiaohui Ji, Feifei Ma, Jian Zhang 0001 Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Sheng Liu, Jian Zhang 0001 Volume Computation for Boolean Combination of Linear Arithmetic Constraints. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jun Yan 0009, Jian Zhang 0001 An efficient method to generate feasible paths for basis path testing. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jun Yan 0009, Jian Zhang 0001 A backtracking search tool for constructing combinatorial test suites. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu Basic research in computer science and software engineering at SKLCS. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory
1Jian Zhang 0001 Checking Inconsistency of Rule Sets in Active Real-Time Databases. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jian Zhang 0001 Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zhongxing Xu, Jian Zhang 0001 Path and Context Sensitive Inter-procedural Memory Leak Detection. Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF path feasibility, memory leak, bug finding
1Hui Ruan, Jian Zhang 0001, Jun Yan 0009 Test Data Generation for C Programs with String-Handling Functions. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program testing, test data generation, character string
1Feifei Ma, Jian Zhang 0001 Computer Search for Large Sets of Idempotent Quasigroups. Search on Bibsonomy ASCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sheng Liu, Jian Zhang 0001, Binhai Zhu Volume Computation Using a Direct Monte Carlo Method. Search on Bibsonomy COCOON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jun Yan 0009, Jian Zhang 0001 Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jun Yan 0009, Zhong Jie Li, Yuan Yuan, Wei Sun 0001, Jian Zhang 0001 BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. Search on Bibsonomy ISSRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Xiangxue Jia, Jian Zhang 0001 A Powerful Technique to Eliminate Isomorphism in Finite Model Search. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF LNH, DASH, scheme, Isomorphism, symmetry breaking
1Zhongxing Xu, Jian Zhang 0001 A Test Data Generation Tool for Unit Testing of C Programs. Search on Bibsonomy QSIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pointer operation, unit testing, symbolic execution, Test data generation
1Sheng Liu, Jian Zhang 0001 Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jun Yan 0009, Jian Zhang 0001, Zhongxing Xu Finding Relations Among Linear Constraints. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sheng Liu, Jian Zhang 0001 Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001 Constraint Solving and Symbolic Execution. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001 Computer Search for Counterexamples to Wilkie's Identity. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Xiangxue Jia, Jian Zhang 0001 Predicate-Oriented Isomorphism Elimination in Model Finding. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Zhuo Huang, Hantao Zhang, Jian Zhang 0001 Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Jian Zhang 0001 Symbolic Execution of Program Paths Involving Pointer and Structure Variables. Search on Bibsonomy QSIC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Hantao Zhang Extending Finite Model Searching with Congruence Closure Computation. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, S. C. Cheung Automated test case generation for the stress testing of multimedia systems. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Wenhui Zhang, Zhuo Huang, Jian Zhang 0001 Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. Search on Bibsonomy PRICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001 Automatic symmetry breaking method combined with SAT. Search on Bibsonomy SAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF symmetry, backtracking search, finite models
1Jian Zhang 0001, Chen Xu, S. C. Cheung Automatic Generation of Database Instances for White-box Testing. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF embedded SQL, software testing, constraint solving, Database applications, automatic test data generation
1Jian Zhang 0001 A Path-Based Approach to the Detection of Infinite Looping. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001 Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints. Search on Bibsonomy APAQS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001 System Description: MCS: Model-based Conjecture Searching. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Shing-Chi Cheung, Samuel T. Chanson Stress Testing of Distributed Multimedia Software Systems. Search on Bibsonomy FORTE The full citation details ... 1999 DBLP  BibTeX  RDF
1Jian Zhang 0001 Finite Model Generation and Formal Specification Development. Search on Bibsonomy TOOLS (24) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001 Constructing Finite Algebras with FALCON. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Hantao Zhang Combining Local Search and Backtracking Techniques for Constraint Satisfaction. Search on Bibsonomy AAAI/IAAI, Vol. 1 The full citation details ... 1996 DBLP  BibTeX  RDF
1Jian Zhang 0001, Hantao Zhang System Description: Generating Models by SEM. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Hantao Zhang Constraint Propagation in Model Generation. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Hantao Zhang SEM: a System for Enumerating Models. Search on Bibsonomy IJCAI The full citation details ... 1995 DBLP  BibTeX  RDF
1Jian Zhang 0001 Problems on the Generation of Finite Models. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #92 of 92 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license