Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude.

Antonio Cerone, Peter Csaba lveczky

Browse the full FM paper archive.