A visual framework for formal systems development using interval temporal logic
By: Arun Chakrapani Rao.
Contributors: De Montfort University.
Publisher: De Montfort University
Published: 2002
Place of publication: Leicester
Language: eng
Notes: Thesis (Ph.D) - De Montfort University, Leicester 2002.