Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Synthesis of large dynamic con...

Treffer: Synthesis of large dynamic concurrent programs from dynamic specifications

Title:
Synthesis of large dynamic concurrent programs from dynamic specifications
Authors:
Attie, Paul C.
Source:
Formal Methods in System Design: An International Journal. April 2016 48(1-2):94-147
Database:
Springer Nature Journals