Search alternatives:
slas » slabs, seas, sas
sath » sathe, saith, sathi, salth, satzh
swat » sweat, swan, seat
sat » salt, satz
spate » spater, spaten, space
-plate » -plates
Cover Image
Read Now

1
Published 2017
Springer International Publishing
Table of Contents: “... for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
Table of Contents: “...-nets in Reactive BDI Agents -- SAT-Based Automated Mechanism Design for False-Name-Proof Facility...”