IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
A New Algorithm for Partitioned Symbolic Reachability Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Computer system survivability modelling by using stochastic activity network
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Evaluation of the impact of congestion on service availability in GPRS infrastructures
ISAS'05 Proceedings of the Second international conference on Service Availability
| Hi-index | 0.00 |