panhaiyu-CSDN博客

系统地介绍了Petri Nets 的基本概念，性质，以及Non-Autonomous Petri Nets，Autonomous Continuous and Hybrid Petri Nets，Timed Continuous Petri Nets，Timed Hybrid Petri Nets。

2010-01-22

CCS and Pi-calculus

系统地介绍了CCS和pi-calculus,适合初学者使用。

2010-01-22

automatic verification

这是一本关于automatic verification 的讲座。

2010-01-16

Z.Manna和A.Pnueli

这是Z.Manna和A.Pnueli没有公开发行的书籍。

2010-01-16

Propositional and Predicate Calculus: A Model of Argument

这是一本比较系统的介绍mathematical logic 的书。

2010-01-11

Advances in Verification of Time Petri Nets and Timed Automata

该书介绍了Time Petr Nets 和 Timed Automata，总结了他们的研究成果，对于从事实时系统形式化方面的研究者比较有用。

2010-01-11

Handbook of Practical Logic and Automated Reasoning

This book is about computer programs that can perfrom automated reasoning.

2010-01-04

Lecture notes in hybrid systems

这是一本介绍hybrid systems的书籍

2009-12-22

Principal of Model Checking

这是一本详细介绍model checking的书。对于学习model checking，非常有帮助。

2009-12-15

Concepts, Algorithms, and Tools for model checking

这是一本关于模型检测的书籍，适合于初学者。

2009-12-14

panhaiyu的博客

空空如也

Introduction to concurrency theory

Non-Cooperative Game Theory

Logic for mathematician

Markov Decision Processes With Their Applications

Semantics of probabilistic processes

Fuzzy Implications

Mathematical logic for computer science

Introduction to Bisimulation and Coinduction

Computer-Aided Verification

Modal Logic

Discrete, Continuous, and Hybrid Petri Nets