Marvin Jansen

According to our database1, Marvin Jansen authored at least 2 papers in 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).
CoRR, 2022

Foundations for Entailment Checking in Quantitative Separation Logic.
Proceedings of the Programming Languages and Systems, 2022


  Loading...