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

Bibliographic Item (1.0)

Dillonetal94

  1. Laura K Dillon & G Kutty & L E Moser & P M Melliar-Smith && Y S Ramakrishna
  2. A Graphical Interval Logic for Specifying Concurrent Systems
  3. ACM Trans Softw Eng Methodol V3n2(Apr 1994)pp131-165 [ 33145.html ] [ citation.cfm?id=192218.192226&coll=portal&dl=ACM&idx=J790&part=transaction&WantType=transaction&title=ACM%20Transactions%20on%20Software%20Engineering%20and%20Methodology%20%28TOSEM%29&CFID=1643654&CFTOKEN=8691090 ]

  4. =ADVERT NOTATION MODAL TEMPORAL LOGIC FORMAL GIL TOOL GILED
  5. GIL::="Graphic Interval Logic".
  6. Later see [RTGIL] -- real time GIL

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]