?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-22191-0%E2%82%83%E2%82%86&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Latif&rft.au=Latif%2C+N.A.&rft.aufirst=N.A.&rft.isbn=9783642221903&rft.issue=PART+2&rft.volume=180+CC&rft.issn=18650929&rft.pages=412-426&rft.atitle=Formal+verification+for+interaction+protocol+in+agent-based+e-learning+system+using+model+checking+toolkit+-+MCMAS&rft.title=Communications+in+Computer+and+Information+Science&rft.date=2011&rft.genre=article