Category:LNCS 1019

From BibNetWiki

Lecture Notes in Computer Science, Volume 1019

Articles in category "LNCS 1019"

There are 14 articles in this category.

A A constraint oriented proof methodology based on modal transition systems A front-end generator for verification tools A user guide to HyTech Analytic and locally approximate solutions to properties of probabilistic processes

C Combining model checking and deduction for I/O-automata E Efficient simplification of bisimulation formulas H Hierarchical compression for model-checking CSP or How to check 100200 dining philosophers for deadlock L Layers as knowledge transitions in the design of distributed systems M MONA: Monadic second-order logic in practice

M cont. Modal-calculus, model checking and Gauss elimination Model checking of non-finite state processes by finite approximations O On automatic and interactive design of communicating systems T Tools and Algorithms for the Construction and Analysis of Systems Tools and algorithms for the construction and analysis of systems: first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995: selected papers