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

Bibliographic Item (1.0)

GiannakopoulouMagee03

  1. Dimitra Giannakopoulou & Jeff Magee
  2. Fluent Model Checking for Event-based systems
  3. FSE-11 & ESEC 9 & ACM SIGSOFT Software Engineering Notes V28n5(Sep 2003)pp257-266
  4. =THEORY TOOL TEMPORAL LOGIC V&V LTS LTL FLUENT FLTL LTSA Buchi
  5. A fluent is a property of states defined by events at the start and end. Example TUNING starts when the tuner is turned on and ceases when the device is tuned in.
  6. Syntax: <start_set, end_set> initially (true|false).
  7. Define shorthand for fluents for single actions/sets of actions: <S, All~S>initially false.

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]