- Referenced in 31 articles
- MARCA: Markov chain analyzer, a software package for...
- Referenced in 27 articles
- SPADES -- a process algebra for discrete event simulation...
- Referenced in 152 articles
- Introduction to the ISO specification language LOTOS. LOTOS...
- Referenced in 25 articles
- Use of E-LOTOS in adding formality to...
- Referenced in 34 articles
- Performance Evaluation for Parallel Systems(PEPS). PEPS is...
- Referenced in 23 articles
- Möbius™ is a software tool for modeling the...
- Referenced in 67 articles
- Gnuplot is a portable command-line driven graphing...
- Referenced in 130 articles
- CADP (”Construction and Analysis of Distributed Processes”, formerly...
- Referenced in 77 articles
- EMpht is a program for fitting phase-type...
- Referenced in 57 articles
- BioNetGen: software for rule-based modeling of signal...
- Referenced in 364 articles
- UMDES Software Library: UMDES-LIB is a library...
- Referenced in 116 articles
- PEPA: Performance Evaluation Process Algebra. PEPA tools: The...