Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Book title Buchtitel
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Filter:
Subject:  Information Transmission

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cignarale, Giorgio ; Primiero, Giuseppe A Multi-Agent Depth Bounded Boolean LogicKonferenzbeitrag Inproceedings 2020