On 6/29/22 05:35, Bagas Sanjaya wrote: >> + DE OLIVEIRA, Daniel Bristot, et al. *Automata-based formal analysis and >> + verification of the real-time Linux kernel.* Ph.D. Thesis, 2020. >> + > Shouldn't these references be formatted citations reference syntax? I improved them, but there is no single syntax. In practice, people find the BibTeX "citation" from the place where the paper was published and let the venue template do its work, formatting it properly (don't ask me what people using word use... I just know that many people have a bad first impression of papers made on word haha). > >> +For example:: >> + >> + [root@f32 rv]# cat available_monitors >> + wip >> + wwnr >> + > I think the prompt should be just `#` (without username and host). Fixed! Thanks. -- Daniel > Thanks.
