Altaf Hussain

	2008
5		Altaf Hussain, Michael Huth: On model checking multiple hybrid views. Theor. Comput. Sci. 404(3): 186-201 (2008)
	2007
4		Altaf Hussain: A New Modal Approach to the Logic of Intervals. J. Log. Comput. 17(2): 221-254 (2007)
	2006
3		Altaf Hussain, Michael Huth: Automata Games for Multiple-model Checking. Electr. Notes Theor. Comput. Sci. 155: 401-421 (2006)
2		Altaf Hussain: A Minimal Hybrid Logic for Intervals. Logic Journal of the IGPL 14(1): 35-62 (2006)
	2004
1		Michael Huth, Altaf Hussain: On model checking multiple hybrid views. ISoLA (Preliminary proceedings) 2004: 235-242

Coauthor Index

1

Michael Huth

[1] [3] [5]