25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
اقرأ المزيد
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
اقرأ المزيد
Advances in Web and Network Technologies, and Information Management
With the increasing ubiquity of personal computing devices, such as mobile phones and PDAs, and the increasing deployment ...
اقرأ المزيد
Advances in Web and Network Technologies, and Information Management
With the increasing ubiquity of personal computing devices, such as mobile phones and PDAs, and the increasing deployment ...
اقرأ المزيد
Agent Computing and Multi-Agent Systems
PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific ...
اقرأ المزيد
Agent and Multi-Agent Systems: Technologies and Applications : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings
The KES-AMSTA Symposium Series is a sub-series of the KES Conference Series. The aim of the symposium was to provide an international ...
اقرأ المزيد
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيد
Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling ...
اقرأ المزيد
Application and Theory of Petri Nets 2002
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
اقرأ المزيد
Applications and Theory of Petri Nets 2005
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
اقرأ المزيد
Automata, Languages and Programming (vol. # 3580)
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
اقرأ المزيد
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيد
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
اقرأ المزيد
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
اقرأ المزيد
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
