bibliographic-notes.tex « Assignment1 - NWI-IMC046-Model-Checking - Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/Assignment1/bibliographic-notes.tex

blob: f4e9cd4a29ed8395fee48aaffaad2a60b10975f8 (plain) (blame)

\subsection{Bibliographic Notes}
% TODO: points to be added to 5.4
% A possibly helpful list is at https://cstheory.stackexchange.com/a/29452
% Also the bibliography file should be worked through.