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

Bibliographic Item (1.0)

Grunske08
  1. L Grunske
  2. Specification patterns for probabilistic quality properties
  3. ACM/IEEE 30th Conf ICSE'08 Software Engineering(May 2008)pp31-40
  4. =THEORY =DEMO PROBABILISTIC VERIFICATION QUALITIES PCTL* CSL TEMPORAL LOGIC ProProST PATTERN LANGUAGE STRUCTURED ENGLISH GRAMMAR
  5. English Subset [ samples/Grunske08.html ] grammar.

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]