UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Back to results

Predicate diagrams as basis for the verification of reactive systems

LMU University Library Online Catalogue (1/1)

Save in:
Display:
 

Predicate diagrams as basis for the verification of reactive systems

Reaktives System Formale Spezifikationstechnik Verifikation TLA <Logik> Endlicher Graph Prädikat <Logik>
Book
  • Holdings
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Get document
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • More title information
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Author:Nugraheni, Cecilia E.
Main title:Predicate diagrams as basis for the verification of reactive systems
Author statement:Cecilia E. Nugraheni
Year:2004
Physical Details:X, 170 S.
Illustration:graph. Darst.
Note:München, Univ., Diss., 2004
BV-Nummer:BV017918797