On Adjacent Vertex-Distinguishing Total Chromatic Number of Generalized Petersen Graphs | IEEE Conference Publication | IEEE Xplore