Controlling Applications of Blocking Rule

Mohammad Khodadadi, Renate A Schmidt Mohammad Khodadadi, Dmitry Tishkovsky

Research output: Chapter in Book/Conference proceeding › Chapter

Original language	English
Title of host publication	Proceedings of the 20th Workshop on Automated Reasoning (ARW2013)
Publisher	University of Dundee, Department of Computing Science
Publication status	Published - 2013

Cite this

@inbook{f3ab487018a84bb8bb3c04608491b3a1,

title = "Controlling Applications of Blocking Rule",

author = "Mohammad Khodadadi and {Mohammad Khodadadi}, {Renate A Schmidt} and Dmitry Tishkovsky",

note = "Manuscript",

year = "2013",

language = "English",

booktitle = "Proceedings of the 20th Workshop on Automated Reasoning (ARW2013)",

publisher = "University of Dundee, Department of Computing Science",

address = "United Kingdom",

}