Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Publications
Search
Statistics
Hennessy-Milner Results for Probabilistic Pdl
AuthID
P-00T-D5J
3
Author(s)
Gu, T
·
Silva, A
·
Zanasi, F
1
Editor(s)
Johann,P
Document Type
Proceedings Paper
Year published
2020
Published
in
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020
in
Electronic Notes in Theoretical Computer Science
Volume: 352, Pages: 283-304
Indexing
Dblp
®
/en/publications/view/865458
Metadata
Sources
Publication Identifiers
Dblp
: conf/mfps/GuSZ20
Export Publication Metadata
Export
×
Publication Export Settings
BibTex
EndNote
APA
Export Preview
Marked List
Add to Marked List
Info
At this moment we don't have any links to full text documens.
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service
