Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2009

Maximizing System Lifetime by Battery Scheduling

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
27 Citations (Scopus)
82 Downloads (Pure)

Mean-Field Analysis for the Evaluation of Gossip Protocols

Bakshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Sep 2009, IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). Los Alamitos: IEEE Computer Society Press, p. 247-256 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Citations (Scopus)
70 Downloads (Pure)

The 3TU Embedded Systems master in the Netherlands

Smit, G. J. M., van der Hoeven, G., Groote, J. F., Otten, R. H. J. M., Tonino, H., Juurlink, B. H. H. & Haverkort, B. R. H. M., 15 Oct 2009, 2009 Workshop on Embedded Systems Education. Grenoble, France: Association for Computing Machinery (ACM), p. 8-12 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
33 Downloads (Pure)

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE Computer Society, p. 133-142 10 p. 10.1109/QEST.2009.9

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
87 Downloads (Pure)
2008

A control-theoretic modeling approach for service differentiation in multi-hop ad-hoc networks

Yang, Y., Haverkort, B. R. H. M. & Heijenk, G., 2008, Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems, QEST 2008). Piscataway: IEEE Computer Society, p. 7-16 10 p. 10.1109/QEST.2008.17

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)
64 Downloads (Pure)

Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). Los Alamitos: IEEE Computer Society, p. 243-248 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
9 Citations (Scopus)
41 Downloads (Pure)

Architectural dependability evaluation with Arcade

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., 2008, Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos: IEEE Computer Society Press, p. 512-521 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
35 Citations (Scopus)
22 Downloads (Pure)

A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks

Remke, A. K. I. & Haverkort, B. R. H. M., 15 Sep 2008, The 6th International Conference on Formal Modelling and Analysis of Timed Systems. Berlin: Springer, p. 188-202 15 p. 10.1007/978-3-540-85778-5_14. (Lecture Notes in Computer Science; no. 302).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
75 Downloads (Pure)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks

Remke, A., Haverkort, B. R., Heijenk, G. & Cloth, L., 4 Jun 2008, Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings. Al-Begain, K., Heindl, A. & Telek, M. (eds.). Berlin- Heidelberg: Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 5055).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
7 Downloads (Pure)

Changes in the Web from 2000 to 2007

Sadre, R. & Haverkort, B. R. H. M., Sep 2008, Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. London: Springer, p. 136-148 13 p. 10.1007/978-3-540-87353-2_11. (Lecture Notes in Computer Science; vol. 5273, no. WP 08-02).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
40 Downloads (Pure)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Blom, S., Haverkort, B. R. H. M., Kuntz, G. W. M. & van de Pol, J. C., 3 Dec 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation. Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 35-50 16 p. 10.1016/j.entcs.2008.11.012. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
9 Citations (Scopus)
69 Downloads (Pure)

Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks

Zaburnenko, T. S., de Boer, P-T. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the seventh International Workshop on Rare Event Simulation, RESIM2008. Rennes, France: INRIA, p. 165-168 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
10 Downloads (Pure)

Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm

Sadre, R. & Haverkort, B. R., Feb 2008, 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS). Los Alamitos: IEEE Computer Society Press, p. 254-261 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
7 Citations (Scopus)
26 Downloads (Pure)

Message from the IWQoS 2008 chairs!

Karlsson, G., Karagiannis, G. & Haverkort, B. R. H. M., Jun 2008, 2008 16th International Workshop on Quality of Service: Enschede, The Netherlands, 2-4 June 2008. van den Berg, H. L. & Karlsson, G. (eds.). New York: IEEE, p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
9 Downloads (Pure)

Performance and Dependability Evaluation: Successes, Failures and Challenges

Haverkort, B. R. H. M., 24 Sep 2008, EPEW. London: Springer, p. 1-1 1 p. 10.1007/978-3-540-87412-6_1. (Lecture Notes in Computer Science; vol. 5261, no. 412).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Preface

Cerná, I. & Haverkort, B. R. H. M., 4 Mar 2008, 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007. Amsterdam: Elsevier, p. 1-2 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
6 Downloads (Pure)

Reachability in continuous-time Markov reward decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Graedel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
28 Downloads (Pure)

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the second workshop on foundations of interface theories (FIT). Aalborg, Denmark: University of Aalborg, p. 5-10 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
25 Downloads (Pure)

The performability tool P'ility

Cloth, L. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008. Los Alamitos: IEEE Computer Society, p. 117-118 2 p. 10.1109/QEST.2008.27

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
61 Downloads (Pure)

Which battery model to use?

Jongerden, M. R. & Haverkort, B. R. H. M., 3 Jul 2008, 24th UK Performance Engineering Workshop: 3–4 July 2008. Argent-Katwala, A., Dingle, N. J. & Harder, U. (eds.). Imperial College London, p. 76-88 13 p. (Department of Computing Technical Reports; vol. 2008, no. 9).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
251 Downloads (Pure)
2007

A centralized feedback control model for resource management in wireless networks

Yang, Y., Haverkort, B. R. & Heijenk, G. J., 20 Sep 2007, Proceedings of the The Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L., Hiltunen, M. & van Moorsel, A. (eds.). Enschede, p. 10-16 7 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
90 Downloads (Pure)

A Fixed-Point Algorithm for Closed Queueing Networks

Sadre, R., Haverkort, B. R. H. M. & Reinelt, P., 2007, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007. Wolter, K. (ed.). Springer, p. 154-170 17 p. 10.1007/978-3-540-75211-0_12. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
139 Downloads (Pure)

Best of Three Worlds: Towards Sound Architectural Dependability Models

Boudali, H., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Sep 2007, 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Enschede: Centre for Telematics and Information Technology (CTIT), p. 45-49 5 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
18 Downloads (Pure)

Computing Battery Lifetime Distributions

Cloth, L., Haverkort, B. R. H. M. & Jongerden, M. R., Jun 2007, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). Los Alamitos: IEEE Computer Society Press, p. 780-789 10 p. 10.1109/DSN.2007.26

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
38 Citations (Scopus)
106 Downloads (Pure)

CSL Model Checking Algorithms for Infinite-state Structured Markov chains

Remke, A. K. I. & Haverkort, B. R. H. M., 3 Oct 2007, 5th International Conference, FORMATS 2007. Raskin, J-F. & Thiagarajan, P. S. (eds.). London: Springer, p. 336-351 16 p. 10.1007/978-3-540-75454-1_24. (Lecture Notes in Computer Science; vol. 4763, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)
36 Downloads (Pure)

Faster SPDL Model Checking Through Property-Driven State Space Generation

Kuntz, M. & Haverkort, B. R., 14 Sep 2007, Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings. Wolter, K. (ed.). Berlin, Heidelberg: Springer, p. 80-96 17 p. (Lecture Notes in Computer Science; vol. 4748).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
13 Downloads (Pure)

GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour

Kuntz, M. & Haverkort, B. R., Sep 2007, Proceedings of the Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 50-56 7 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
25 Downloads (Pure)

The effect of mobility on local service discovery in the Ahoy ad-hoc network system

Goering, P. T. H., Heijenk, G., Haverkort, B. R. H. M. & Haarman, R., 2007, Proceedings of the European Performance Engineering Workshop, EPEW 2007. London: Springer, p. 284-300 17 p. 10.1007/978-3-540-75211-0_21. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
21 Downloads (Pure)
2006

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Sep 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 63-72 10 p. 10.1109/QEST.2006.3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)
64 Downloads (Pure)

Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Nov 2006, Stochastic Performance Models for Resource Allocation in Communication Systems. Mandjes, M., van der Mei, R. & Nunez Queija, R. (eds.). Centrum voor Wiskunde en Informatica, p. 23-26 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Downloads (Pure)

CSL model checking of deterministic and stochastic Petri nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., 2006, Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems. German, R. & Heindl, A. (eds.). Berlin: VDE Verlag, p. 265-282 18 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
17 Downloads (Pure)

Five Performability Algorithms: A Comparison

Cloth, L. & Haverkort, B. R., Jun 2006, MAM 2006: Markov Anniversary Meeting. Langville, A. N. & Stewart, W. J. (eds.). Raleigh, NC, USA: Boson Books, p. 39-54 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
22 Downloads (Pure)

MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., 2006, Proceedings of the Third Int'l. Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 133-134 2 p. 10.1109/QEST.2006.29

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
95 Downloads (Pure)

Measuring and modelling of application flow length in commercial GPRS networks

Kalden, R. & Haverkort, B. R. H. M., 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 83-92 10 p. 10.1109/QEST.2006.30

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
77 Downloads (Pure)

Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Oct 2006, First International Conference on Performance Evaluation Methodologies and Tools. New York: Association for Computing Machinery (ACM), p. 7 10 p. 10.1145/1190366.1190372

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
38 Downloads (Pure)
2005

Model checking for survivability

Cloth, L. & Haverkort, B. R. H. M., 19 Sep 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05). IEEE Computer Society, p. 145-154

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

40 Citations (Scopus)

Model checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 2005, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005). Halbwachs, N. & Zuck, L. D. (eds.). Berlin / Heidelberg, Germany: Springer, p. 237-252 16 p. (Lecture Notes in Computer Science; vol. 3440).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Citations (Scopus)
10 Downloads (Pure)

Surviving Survivability Specifications

Cloth, L. & Haverkort, B. R. H. M., 28 Jun 2005, Supplemental Volume of the 2005 Int.'l Conference on Dependable Systems and Networks. Dr. Bondavalli, A., Prof.dr.ir. Haverkort, B. R. H. M. & Prof. Tang, D. (eds.). Yokohama, Japan: IEEE Computer Society, p. 70-71 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2004

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 29 Mar 2004, Tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 61-76

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking action- and state-labelled Markov chains

Cloth, L., Baier, C., Kuntz, M., Siegle, M. & Haverkort, B. R. H. M., 28 Jun 2004, Proceedings of the 2004 International Conference on Dependable Systems and Networks. Florence, Italy: IEEE Computer Society Press, p. 701-710 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)
2003

A Class-Based Least-Recently-Used Caching Algorithm for WWW Proxies Proceedings

Khayari el Abdouni, R., Sadre, R. & Haverkort, B. R. H. M., 2 Sep 2003, 13th Intl. Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Kemper, P. & Sanders, W. H. (eds.). Illinois, USA, p. 273-290 18 p. (Lecture Notes in Computer Science 2794; vol. 2794).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
26 Downloads (Pure)

Model Checking pathCSL

Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P. & Baier, C., 6 Sep 2003, PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. Bobbio, A., Deavours, D. & Ma, Y. (eds.). Urbana-Champaign: University of Illinois at Urbana-Champaign, p. 19-22

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
8 Downloads (Pure)
2002

A Class-Based Weighted-Fair Queueing Algorithm for WWW Proxy Scheduling

El Abdouni Khayari, R., Sadre, R., Haverkort, B. R. H. M. & Zoschke, N., Aug 2002, SPIE 4865 Internet Performance and Control of Network Systems III. SPIE - The International Society for Optical Engineering, p. 120-131 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Model-checking performability properties

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C., 2002, Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA: IEEE CS Press, p. - 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

56 Citations (Scopus)
2001

Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme

Ehren, S., Ludwig, N., Haverkort, B. & El Abdouni Khayari, R., 2001, Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001. Buhl, H. U., Huther, A. & Reitweisner, B. (eds.). Heidelberg: Physica-Verlag, p. 503-516 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
19 Downloads (Pure)

Model Checking CSRL-Specified Performability Properties

Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P. & Baier, C., 2001, Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). German, R., Lüthi, J. & Telek, M. (eds.). Erlangen: University of Erlangen, p. - 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2000

On the Logical Characterisation of Performability Properties

Baier, C., Haverkort, B., Hermanns, H. & Katoen, J. P., Jul 2000, Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings. Montanari, U., Rolin, J. D. P. & Welzl, E. (eds.). Berlin: Springer, p. 780-792 13 p. (Lecture Notes in Computer Science; vol. 1853).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
81 Citations (Scopus)
48 Downloads (Pure)

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 21 Feb 2000, 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, p. 228-237 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1995

Approximate Analysis of Networks of PH$....Queues: Theory & Tool Support

Haverkort, B. R. H. M., 13 Feb 1995, Quantitative Evaluation of Computing and Communication Systems, Editors: H. Beilner, F. Bause, Lecture Notes in Computer Science, Springer Verlag. p. 239-253

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications

Haverkort, B. R. H. M., 13 Feb 1995, Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press. IEEE, p. 72-81

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
32 Downloads (Pure)