Punjabi Literature

Waris Shah was born in Jandiala Sher Khan, Punjab, present-day Pakistan into a reputed Sayyid family and was a descendant of Sayyid Muhammad Al-Makki through his son Sayyid Badruddin. His father's name was Gulsher Shah and mother's name was Kamal ...

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent syste...

Chandi-Di-Vaar by Sri Guru Gobind Singh Ji in Punjabi with English translation.