120
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...