The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
nuXmv User Manual
The work
| Authors | Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Michele Dorigatti; Al- berto Griggio; Alessandro Mariotti; Andrea Micheli; Sergio Mover; Marco Roveri; Stefano Tonetta |
|---|---|
| Editors | |
| Type | article |
| Year | 2019 |
| Citekey | bozzano2019nuxmv |
Where it appeared
| Published in | Fondazione Bruno Kessler |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-26 06:20 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{bozzano2019nuxmv,
title = {nuXmv User Manual},
author = {Marco Bozzano and Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Al- berto Griggio and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Marco Roveri and Stefano Tonetta},
year = {2019},
journal = {Fondazione Bruno Kessler},
}
This record lives at https://refs.drheap.org/bozzano2019nuxmv/ and will keep doing so.