Vol-2133⫷ Vol-2134 ⫸Vol-2135
urn:nbn:de:0074-2134-0


Vol-2134/paper12⫷Vol-2134/paper09
Aishwarya ChhabraAmit SangroyaC. Anantaram

Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning