A Practical Introduction to Psl

This book describes the Property Specification Language PSL, recently standardized as IEEE Standard...

A Practical Introduction to Psl

Selberg Trace Formula for Psl (Lecture Notes in Mathematics)

...

Selberg Trace Formula for Psl Lecture Notes in Mathematics