×

Found 5 Documents (Results 1–5)

Symbolic model checking for alternating projection temporal logic. (English) Zbl 1473.68108

Lu, Zaixin (ed.) et al., Combinatorial optimization and applications. 9th international conference, COCOA 2015, Houston, TX, USA, December 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9486, 481-495 (2015).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software