scientific article; zbMATH DE number 1956594
From MaRDI portal
Publication:4417940
zbMATH Open1031.68544MaRDI QIDQ4417940FDOQ4417940
Authors: Gianfranco Ciardo, Robert Marmorstein, Radu I. Siminiceanu 
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190379.htm
Title of this publication is not available (Why is that?)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (19)
- Title not available (Why is that?)
- Improving Saturation Efficiency with Implicit Relations
- Mathematical analysis and simulation of multiple keys and S-boxes in a multinode network for secure transmission
- Unbounded rough drivers
- Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis
- Correct Hardware Design and Verification Methods
- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
- Hierarchical Set Decision Diagrams and Regular Models
- Symbolic state-space exploration and numerical analysis of state-sharing composed models
- Symbolic CTL model checking of asynchronous systems using constrained saturation
- Symbolic Reachability Analysis of Integer Timed Petri Nets
- Generic saturation
- Hierarchical Set Decision Diagrams and Automatic Saturation
- A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation
- Exploiting interleaving semantics in symbolic state-space generation
- Component-wise incremental LTL model checking
- A database approach to distributed state space generation
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
- A decision diagram operation for reachability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417940)
