skip to main content
Language:
Refined by: language: Albanian remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Hennessy-Milner Results for Probabilistic PDL
Hennessy-Milner Results for Probabilistic PDL
Material Type:
Conference Proceeding 		Add to e-Shelf

Hennessy-Milner Results for Probabilistic PDL

Gu, T ; Silva, A ; Zanasi, F

36th Conference on the Mathematical Foundations of Programming Languages Semantics (MFPS) was co-located with the 17th International Conference on Quantum Programming Physics and Logic (QPL) 2020

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far