Author Search Results

Select result number 1
1

Modal satisfiability via SMT solving

by Areces, Carlos Eduardo, Fontaine, Pascal, Merz, Stephan
Published 2015

info:eu-repo/semantics/submittedVersion biblioteca

UNC AR

Saved in:
Select result number 2
2

Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study /

by Broy, Manfred. editor., Merz, Stephan. editor., Spies, Katharina. editor., SpringerLink (Online service)
Published 1996

Texto biblioteca

COLPOS

Saved in:
Select result number 3
3

Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / Formal Systems Specification [electronic resource] : The RPC-Memory Specification Case Study /

by Broy, Manfred. editor., Merz, Stephan. editor., Spies, Katharina. editor., SpringerLink (Online service)
Published 1996

Texto biblioteca

COLPOS

Saved in:

Resource Map

Cannot write session to /tmp/vufind_sessions/sess_rqc29go1nfm6hff0ekitmkm22o