Lune

FM2023Top-tier venue

QMaude: Quantitative Specification and Verification in Rewriting Logic

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

DOIPublisher
2023Year
11Citations

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Questions to start from

Your agent calls

Lunesearch_papers

Ask in Lune

Free to start. No credit card required.

Terminal

Install the CLI
lune papers get 80ffa86d-c2c3-40b3-ac3a-b791fe946efc

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines