Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/AWN/     Datei vom 29.4.2026 mit Größe 630 B image not shown  

Quelle  ROOT

  Sprache: Text 		 

chapter AFP

session AWN = HOL +
  description "Mechanization of the Algebra for Wireless Networks (AWN)"
  options [timeout = 600]
  theories
    Lib
    TransitionSystems
    Invariants
    OInvariants

    AWN
    AWN_SOS
    AWN_Labels
    AWN_SOS_Labels
    AWN_Cterms
    Pnet
    Closed
    OAWN_SOS
    OAWN_SOS_Labels
    OPnet
    OClosed_Lifting
    Inv_Cterms
    AWN_Invariants
    OAWN_Invariants
    OAWN_Convert
    Qmsg
    Qmsg_Lifting
    ONode_Lifting
    OPnet_Lifting
    OClosed_Transfer
    AWN_Main
    Toy

  theories [document = false]
    AWN_Term_Graph

  document_files
    "root.bib"
    "root.tex"

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet am  2026-06-13) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen



NIST Cobol Testsuite



Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.