Higher-order Automation in TLAPS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Dates and versions

hal-02990614 , version 1 (15-12-2020)

Identifiers

  • HAL Id : hal-02990614 , version 1

Cite

Antoine Defourné, Petar Vukmirovic. Higher-order Automation in TLAPS. TLA+ Community Event 2020, Oct 2020, Virtual, France. ⟨hal-02990614⟩
60 View
78 Download

Share

Gmail Facebook Twitter LinkedIn More