Come si chiamano le rocce che contengono fossili di dinosauro?

Le rocce che contengono fossili di dinosauro sono chiamate rocce fossilifere.