[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BaierHaverkortHermansKatoen10

  1. Christel Baier & Boudewign R Haverkort & Holger Hermans & Joost-Pieter Katoen
  2. Performance Evaluation and Model Checking Join Forces
  3. Commun ACM V53n9(Sep 2010)pp76-85 [ 1810891.1810912 ]
  4. =HISTORY MODEL CHECKING PERFORMANCE MODAL PROBABILLITY LOGIC CTL LTL PCTL DTMC ADVERT TOOLS PRISM EXAMPLES
  5. Excellent diagram of history starting with Markov Chains in 1900 and ending with advanced algorithms and applications.
  6. Figure 3: IPv4 zeroconf protocol
  7. Example -- able to show that Firewire root contention protocol is faster when biased "coin tossing" is used.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]