-
2
-
-
84976740260
-
The complexity of probabilistic verification
-
Courcoubetis C., Yannakakis M. The complexity of probabilistic verification. Journal of the ACM. 42(4):1995;857-907.
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 857-907
-
-
Courcoubetis, C.1
Yannakakis, M.2
-
5
-
-
0003086869
-
Introduction to the ISO specification language LOTOS
-
P. van Eijk, C. Vissers, & M. Diaz. Amsterdam: North-Holland
-
Bolognesi T., Brinksma E. Introduction to the ISO specification language LOTOS. van Eijk P., Vissers C., Diaz M. The Formal Description Technique LOTOS. 1989;23-73 North-Holland, Amsterdam.
-
(1989)
The Formal Description Technique LOTOS
, pp. 23-73
-
-
Bolognesi, T.1
Brinksma, E.2
-
6
-
-
84968403099
-
Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras
-
P roceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE 1993, Tutorial, Springer
-
N. Götz, U. Herzog, M. Rettelbach, Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras, in: Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE 1993, Tutorial, vol. 729 of Lecture Notes in Computer Science, Springer, 1993, pp. 121-146.
-
(1993)
Lecture Notes in Computer Science
, vol.729
, pp. 121-146
-
-
Götz, N.1
Herzog, U.2
Rettelbach, M.3
-
9
-
-
0003494796
-
Decomposability, queueing and computer system applications
-
P. Courtois, Decomposability, queueing and computer system applications, ACM monograph series, 1977.
-
(1977)
ACM Monograph Series
-
-
Courtois, P.1
-
11
-
-
21344495526
-
A class of hierarchical queueing networks and their analysis
-
Buchholz P. A class of hierarchical queueing networks and their analysis. Queueing Systems. 15:1994;59-80.
-
(1994)
Queueing Systems
, vol.15
, pp. 59-80
-
-
Buchholz, P.1
-
12
-
-
0033891003
-
Automated compositional Markov chain generation for a plain-old telephony system
-
Hermanns H., Katoen J. Automated compositional Markov chain generation for a plain-old telephony system. Science of Computer Programming. 36(1):1999;97-127.
-
(1999)
Science of Computer Programming
, vol.36
, Issue.1
, pp. 97-127
-
-
Hermanns, H.1
Katoen, J.2
-
13
-
-
0012699703
-
Structured Markovian performance modelling with automatic symmetry exploitation
-
G. Haring, H. Wabnig (Eds.), Vienna, Austria
-
M. Siegle, Structured Markovian performance modelling with automatic symmetry exploitation, in: G. Haring, H. Wabnig (Eds.), Short Papers and Tool Descriptions Proceedings of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, Austria, 1994, pp. 77-81.
-
(1994)
Short Papers and Tool Descriptions Proceedings of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation
, pp. 77-81
-
-
Siegle, M.1
-
14
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Bryant R. Graph-based algorithms for boolean function manipulation. IEEE ToC. C-35(8):1986;677-691.
-
(1986)
IEEE ToC
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.1
-
15
-
-
0027880685
-
Algebraic decision diagrams and their applications
-
ACM/IEEE, Santa Clara, CA, also available in Formal Methods in System Design 10 (2/3) 1997
-
R. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, F. Somenzi, Algebraic decision diagrams and their applications, in: ICCAD-93: International Conference on Computer-Aided Design, ACM/IEEE, Santa Clara, CA, 1993, pp. 188-191, also available in Formal Methods in System Design 10 (2/3) 1997.
-
(1993)
ICCAD-93: International Conference on Computer-Aided Design
, pp. 188-191
-
-
Bahar, R.1
Frohm, E.2
Gaona, C.3
Hachtel, G.4
Macii, E.5
Pardo, A.6
Somenzi, F.7
-
16
-
-
0037565605
-
Multi-terminal binary decision diagrams: An efficient data structure for matrix representation
-
Tahoe City, also available in Formal Methods in System Design 10 (2/3) (1997) 149-169
-
E. Clarke, M. Fujita, P. McGeer, K. McMillan, J. Yang, X. Zhao, Multi-terminal binary decision diagrams: an efficient data structure for matrix representation, in: Proceedings of International Workshop on Logic Synthesis (IWLS'93), Tahoe City, 1993, pp. 6a:1-15, also available in Formal Methods in System Design 10 (2/3) (1997) 149-169.
-
(1993)
Proceedings of International Workshop on Logic Synthesis (IWLS'93)
-
-
Clarke, E.1
Fujita, M.2
McGeer, P.3
McMillan, K.4
Yang, J.5
Zhao, X.6
-
17
-
-
0024929648
-
A framework for reasoning about time and reliability
-
Orlando, FL: IEEE Computer Society Press
-
Hansson H., Jonsson B. A framework for reasoning about time and reliability. Proceedings of 10th IEEE Real-Time Systems Symposium. 1990;102-111 IEEE Computer Society Press, Orlando, FL.
-
(1990)
Proceedings of 10th IEEE Real-Time Systems Symposium
, pp. 102-111
-
-
Hansson, H.1
Jonsson, B.2
-
18
-
-
84974622233
-
On the logical characterisation of performability properties
-
ICALP, Springer
-
C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, On the logical characterisation of performability properties, in: ICALP, vol. 1853 of Lecture Notes in Computer Science, Springer, 2000, pp. 780-792.
-
(2000)
Lecture Notes in Computer Science
, vol.1853
, pp. 780-792
-
-
Baier, C.1
Haverkort, B.2
Hermanns, H.3
Katoen, J.-P.4
-
21
-
-
0001990888
-
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
-
Bernardo M., Gorrieri R. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science. 202:1998;1-54.
-
(1998)
Theoretical Computer Science
, vol.202
, pp. 1-54
-
-
Bernardo, M.1
Gorrieri, R.2
-
22
-
-
19144372130
-
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
-
Proceedings of the 1st International Workshop on Models for Time Critical Systems (MTCS 2000), State College (PA)
-
M. Bravetti, M. Bernardo, Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time, in: Proceedings of the 1st International Workshop on Models for Time Critical Systems (MTCS 2000), Electronic Notes in Theoretical Computer Science 39 (3), State College (PA), 2000.
-
(2000)
Electronic Notes in Theoretical Computer Science
, vol.39
, Issue.3
-
-
Bravetti, M.1
Bernardo, M.2
-
23
-
-
0022695184
-
Specification-oriented semantics for communicating processes
-
Olderog E.-R., Hoare C. Specification-oriented semantics for communicating processes. Acta Informatica. 23(1):1986;9-66.
-
(1986)
Acta Informatica
, vol.23
, Issue.1
, pp. 9-66
-
-
Olderog, E.-R.1
Hoare, C.2
-
24
-
-
0003931061
-
-
Technical report, Computer Science Department FN-19, DAIMI, Aarhus University, September
-
G. Plotkin, A structural approach to operational semantics, technical report, Computer Science Department FN-19, DAIMI, Aarhus University, September 1981.
-
(1981)
A Structural Approach to Operational Semantics
-
-
Plotkin, G.1
-
25
-
-
21844505024
-
Model checking of probabilistic and nondeterministic systems
-
P. Thiagarajan (Ed.), Proceedings of Foundations of Software Technology and Theoretical Computer Science Springer-Verlag
-
A. Bianco, L. de Alfaro, Model checking of probabilistic and nondeterministic systems, in: P. Thiagarajan (Ed.), Proceedings of Foundations of Software Technology and Theoretical Computer Science, vol. 1026 of Lecture Notes in Computer Science, Springer-Verlag, 1995, pp. 499-513.
-
(1995)
Lecture Notes in Computer Science
, vol.1026
, pp. 499-513
-
-
Bianco, A.1
De Alfaro, L.2
-
26
-
-
0032131465
-
Model checking for a probabilistic branching time logic with fairness
-
Baier C., Kwiatkowska M. Model checking for a probabilistic branching time logic with fairness. Distributed Computing. 11:1998;125-155.
-
(1998)
Distributed Computing
, vol.11
, pp. 125-155
-
-
Baier, C.1
Kwiatkowska, M.2
-
28
-
-
0009629465
-
From fairness to chance
-
C. Baier, M. Huth, M. Kwiatkowska, M. Ryan (Eds.), Proceedings of First International Workshop on Probabilistic Methods in Verification (PROBMIV'98)
-
L. de Alfaro, From fairness to chance, in: C. Baier, M. Huth, M. Kwiatkowska, M. Ryan (Eds.), Proceedings of First International Workshop on Probabilistic Methods in Verification (PROBMIV'98), vol. 22 of Electronic Notes in Theoretical Computer Science, 1998.
-
(1998)
Electronic Notes in Theoretical Computer Science
, vol.22
-
-
De Alfaro, L.1
-
29
-
-
0000504089
-
Automatic verification of finite-state concurrent systems using temporal logics
-
the full version is available in ACM Transactions on Programming Languages and Systems 1(2), 1986
-
E. Clarke, E. Emerson, A. Sistla, Automatic verification of finite-state concurrent systems using temporal logics, in: 10th ACM Symposium on Principles of Programming Languages, 1983, pp. 24-26, the full version is available in ACM Transactions on Programming Languages and Systems 1(2), 1986.
-
(1983)
10th ACM Symposium on Principles of Programming Languages
, pp. 24-26
-
-
Clarke, E.1
Emerson, E.2
Sistla, A.3
-
31
-
-
84945913752
-
Stochastic transition systems
-
D. Sangiorgi, R. de Simone (Eds.), Proceedings of CONCUR'98,Springer-Verlag
-
L. de Alfaro, Stochastic transition systems, in: D. Sangiorgi, R. de Simone (Eds.), Proceedings of CONCUR'98, Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 423-438.
-
(1998)
Lecture Notes in Computer Science
, pp. 423-438
-
-
De Alfaro, L.1
-
32
-
-
84863969632
-
Symbolic model checking for probabilistic processes using MTBDDs and the Kronecker representation
-
S. Graf, M. Schwartzbach (Eds.), TACAS'2000, Berlin
-
L. de Alfaro, M. Kwiatkowska, G. Norman, D. Parker, R. Segala, Symbolic model checking for probabilistic processes using MTBDDs and the Kronecker representation, in: S. Graf, M. Schwartzbach (Eds.), TACAS'2000, LNCS 1785, Berlin, 2000, pp. 395-410.
-
(2000)
LNCS
, vol.1785
, pp. 395-410
-
-
De Alfaro, L.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
Segala, R.5
-
33
-
-
0029706574
-
Well-defined stochastic Petri nets
-
G. Ciardo, R. Zijal, Well-defined stochastic Petri nets, in: MASCOTS, 1996, pp. 278-284.
-
(1996)
MASCOTS
, pp. 278-284
-
-
Ciardo, G.1
Zijal, R.2
-
34
-
-
0038241198
-
Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures
-
Qureshi M., Sanders W., van Moorsel A., German R. Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. IEEE Transactions on Software Engineering. 22(9):1996;603-614.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.9
, pp. 603-614
-
-
Qureshi, M.1
Sanders, W.2
Van Moorsel, A.3
German, R.4
-
35
-
-
79953171787
-
An efficient well-specified check
-
P. Bucholz, M. Silva (Eds.), Zaragoza, Spain
-
D. Deavours, W. Sanders, An efficient well-specified check, in: P. Bucholz, M. Silva (Eds.), Proceedings of the 8th International Workshop on Petri Nets and Performance Models (PNPM '99), Zaragoza, Spain, 1999, pp. 124-133.
-
(1999)
Proceedings of the 8th International Workshop on Petri Nets and Performance Models (PNPM '99)
, pp. 124-133
-
-
Deavours, D.1
Sanders, W.2
-
36
-
-
84957674725
-
Bisimulation algorithms for stochastic process algebras and their BDD-based implementation
-
J.-P. Katoen (Ed.), ARTS'99,5th International AMAST Workshop on Real-Time and Probabilistic Systems Springer
-
H. Hermanns, M. Siegle, Bisimulation algorithms for stochastic process algebras and their BDD-based implementation, in: J.-P. Katoen (Ed.), ARTS'99, 5th International AMAST Workshop on Real-Time and Probabilistic Systems, vol. 1601 of Lecture Notes in Computer Science, Springer, 1999, pp. 144-264.
-
(1999)
Lecture Notes in Computer Science
, vol.1601
, pp. 144-264
-
-
Hermanns, H.1
Siegle, M.2
-
37
-
-
84976753721
-
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
-
Ajmone Marsan M., Balbo G., Conte G. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems. 2(2):1984;93-122.
-
(1984)
ACM Transactions on Computer Systems
, vol.2
, Issue.2
, pp. 93-122
-
-
Ajmone Marsan, M.1
Balbo, G.2
Conte, G.3
-
41
-
-
84945610644
-
Markoff chains as an aid in the study of Markoff processes
-
Jensen A. Markoff chains as an aid in the study of Markoff processes. Skand. Aktuarietiedskr. 36:1953;87-91.
-
(1953)
Skand. Aktuarietiedskr.
, vol.36
, pp. 87-91
-
-
Jensen, A.1
-
43
-
-
19244370184
-
Spectral transforms for large boolean functions with applications to technology mapping
-
ACM/IEEE
-
E. Clarke, K. McMillan, X. Zhao, M. Fujita, J. Yang, Spectral transforms for large boolean functions with applications to technology mapping, in: 30th Design Automation Conference, ACM/IEEE, 1993, pp. 54-60.
-
(1993)
30th Design Automation Conference
, pp. 54-60
-
-
Clarke, E.1
McMillan, K.2
Zhao, X.3
Fujita, M.4
Yang, J.5
-
44
-
-
0025558645
-
Efficient implementation of a BDD package
-
K. Brace, R. Rudell, R. Bryant, Efficient implementation of a BDD package, in: 27th ACM/IEEE Design Automation Conference, 1990, pp. 40-45.
-
(1990)
27th ACM/IEEE Design Automation Conference
, pp. 40-45
-
-
Brace, K.1
Rudell, R.2
Bryant, R.3
-
45
-
-
0008465864
-
Generating BDDs for symbolic model checking in CCS
-
Enders R., Filkorn T., Taubner D. Generating BDDs for symbolic model checking in CCS. Distributed Computing. 6(3):1993;155-164.
-
(1993)
Distributed Computing
, vol.6
, Issue.3
, pp. 155-164
-
-
Enders, R.1
Filkorn, T.2
Taubner, D.3
-
47
-
-
0037565646
-
-
Tech. rep., School of Computer Science, University of Birmingham
-
M. Kwiatkowska, G. Norman, D. Parker, R. Segala, Symbolic model checking of concurrent probabilistic systems using MTBDDs and Simplex, Tech. rep., School of Computer Science, University of Birmingham, 1999.
-
(1999)
Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and Simplex
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
Segala, R.4
-
48
-
-
84863981780
-
PRISM: Probabilistic symbolic model checker
-
T. Field, P. Harrison, J. Bradley, U. Harder (Eds.), Proceedings of 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02), Springer
-
M. Kwiatkowska, G. Norman, D. Parker, PRISM: Probabilistic symbolic model checker, in: T. Field, P. Harrison, J. Bradley, U. Harder (Eds.), Proceedings of 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02), vol. 2324 of LNCS, Springer, 2002, pp. 200-204.
-
(2002)
LNCS
, vol.2324
, pp. 200-204
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
50
-
-
0029714158
-
Reactive modules
-
IEEE Computer Society Press, 1006
-
R. Alur, T. Henzinger, Reactive modules, in: Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), IEEE Computer Society Press, 1006, pp. 207-218.
-
Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96)
, pp. 207-218
-
-
Alur, R.1
Henzinger, T.2
-
53
-
-
0034140627
-
Compositional performance modelling with the TIPPtool
-
Hermanns H., Herzog U., Klehmet U., Mertsiotakis V., Siegle M. Compositional performance modelling with the TIPPtool. Performance Evaluation. 39(1-4):2000;5-35.
-
(2000)
Performance Evaluation
, vol.39
, Issue.1-4
, pp. 5-35
-
-
Hermanns, H.1
Herzog, U.2
Klehmet, U.3
Mertsiotakis, V.4
Siegle, M.5
-
56
-
-
0037565652
-
Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains
-
B. Plateau, W. Stewart, M. Silva (Eds.), Prensas Universitarias de Zaragoza
-
H. Hermanns, J. Meyer-Kayser, M. Siegle, Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains, in: B. Plateau, W. Stewart, M. Silva (Eds.), 3rd International Workshop on the Numerical Solution of Markov Chains, Prensas Universitarias de Zaragoza, 1999, pp. 188-207.
-
(1999)
3rd International Workshop on the Numerical Solution of Markov Chains
, pp. 188-207
-
-
Hermanns, H.1
Meyer-Kayser, J.2
Siegle, M.3
-
57
-
-
38249017639
-
Fast randomized consensus using shared memory
-
Aspnes J., Herlihy M. Fast randomized consensus using shared memory. Journal of Algorithms. 11(3):1990;441-460.
-
(1990)
Journal of Algorithms
, vol.11
, Issue.3
, pp. 441-460
-
-
Aspnes, J.1
Herlihy, M.2
-
59
-
-
0030246260
-
Improving the variable ordering of OBDDs is NPcomplete
-
Bollig B., Wegener I. Improving the variable ordering of OBDDs is NPcomplete. IEEE Transactions on Computers. 45(9):1996;993-1006.
-
(1996)
IEEE Transactions on Computers
, vol.45
, Issue.9
, pp. 993-1006
-
-
Bollig, B.1
Wegener, I.2
-
60
-
-
84949799187
-
The complexity of optimal variable ordering of a shared binary decision diagram
-
Proceedings of 45th ISAAC, Springer
-
S. Tani, K. Hamaguchi, S. Yajima, The complexity of optimal variable ordering of a shared binary decision diagram, in: Proceedings of 45th ISAAC, vol. 762 of Lecture Notes in Computer Science, Springer, 1993, pp. 389-398.
-
(1993)
Lecture Notes in Computer Science
, vol.762
, pp. 389-398
-
-
Tani, S.1
Hamaguchi, K.2
Yajima, S.3
-
61
-
-
0027841555
-
Dynamic variable ordering for ordered binary decision diagrams
-
R. Rudell, Dynamic variable ordering for ordered binary decision diagrams, in: Proceedings of IEEE ICCAD'93, 1993, pp. 42-47.
-
(1993)
Proceedings of IEEE ICCAD'93
, pp. 42-47
-
-
Rudell, R.1
-
62
-
-
0027047925
-
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
-
IEEE Computer Society Press
-
M. Fujita, Y. Matsunaga, T. Kakuda, On variable ordering of binary decision diagrams for the application of multi-level logic synthesis, in: Proceedings of European Design Automation Conference (EDAC 91), IEEE Computer Society Press, 1991, pp. 50-54.
-
(1991)
Proceedings of European Design Automation Conference (EDAC 91)
, pp. 50-54
-
-
Fujita, M.1
Matsunaga, Y.2
Kakuda, T.3
-
63
-
-
84947915769
-
Global rebuilding of OBDD's - Tunneling memory requirement maxima
-
P. Wolper (Ed.), Proceedings of International Conference On Computer Aided Verification Springer-Verlag
-
J. Bern, C. Meinel, A. Slobodova, Global rebuilding of OBDD's - tunneling memory requirement maxima, in: P. Wolper (Ed.), Proceedings of International Conference On Computer Aided Verification, vol. 939 of Lecture Notes in Computer Science, Springer-Verlag, 1995, pp. 4-15.
-
(1995)
Lecture Notes in Computer Science
, vol.939
, pp. 4-15
-
-
Bern, J.1
Meinel, C.2
Slobodova, A.3
-
66
-
-
0026222347
-
Bisimulation through probabilistic testing
-
Larsen K., Skou A. Bisimulation through probabilistic testing. Information and Computation. 94(1):1991;1-28.
-
(1991)
Information and Computation
, vol.94
, Issue.1
, pp. 1-28
-
-
Larsen, K.1
Skou, A.2
-
67
-
-
0030212139
-
Exploiting symmetry in temporal logic model checking
-
Clarke E.M., Jha S., Enders R., Filkorn T. Exploiting symmetry in temporal logic model checking. Formal Methods in System Design. 9(1/2):1996;77-104.
-
(1996)
Formal Methods in System Design
, vol.9
, Issue.1-2
, pp. 77-104
-
-
Clarke, E.M.1
Jha, S.2
Enders, R.3
Filkorn, T.4
-
68
-
-
84957808510
-
Faster and symbolic CTMC model checking
-
L. de Alfaro, S. Gilmore (Eds.), Proceedings of Process Algebra and Probabilistic Methods (PAPM-PROBMIV 2001), Springer
-
J. Katoen, M. Kwiatkowska, G. Norman, D. Parker, Faster and symbolic CTMC model checking, in: L. de Alfaro, S. Gilmore (Eds.), Proceedings of Process Algebra and Probabilistic Methods (PAPM-PROBMIV 2001), vol. 2165 of Lecture Notes in Computer Science, Springer, 2001, pp. 23-38.
-
(2001)
Lecture Notes in Computer Science
, vol.2165
, pp. 23-38
-
-
Katoen, J.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
69
-
-
84888255686
-
Probabilistic symbolic model checking with PRISM: A hybrid approach
-
J.-P. Katoen, P. Stevens (Eds.), Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), Springer
-
M. Kwiatkowska, G. Norman, D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, in: J.-P. Katoen, P. Stevens (Eds.), Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), vol. 2280 of LNCS, Springer, 2002, pp. 52-66.
-
(2002)
LNCS
, vol.2280
, pp. 52-66
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
70
-
-
84957809842
-
Reachability analysis of probabilistic systems by successive refinements
-
L. de Alfaro, S. Gilmore (Eds.), Process Algebra and Probabilistic Methods. Joint International Workshop PAPMPROBMIV 2001, Springer
-
P. D'Argenio, B. Jeannet, H. Jensen, K. Larsen, Reachability Analysis of Probabilistic Systems by Successive Refinements, in: L. de Alfaro, S. Gilmore (Eds.), Process Algebra and Probabilistic Methods. Joint International Workshop PAPMPROBMIV 2001, Springer, LNCS 2165, 2001, pp. 39-56.
-
(2001)
LNCS
, vol.2165
, pp. 39-56
-
-
D'Argenio, P.1
Jeannet, B.2
Jensen, H.3
Larsen, K.4
|