Index of /~bochmann/ELG7187C/CourseNotes/Literature

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Amyot - BP example -..> 19-Dec-2010 22:03 386K [   ] Amyot - URN tutorial..> 19-Dec-2010 22:03 554K [   ] Boch77c - from IFIP ..> 19-Dec-2010 22:03 3.9M [   ] Boch78i - from Compu..> 19-Dec-2010 22:03 887K [   ] Boch80b - from IEEE ..> 08-Feb-2011 11:37 1.0M [   ] Boch80e - from IEEE ..> 08-Feb-2011 11:37 843K [   ] Boch90b - from IEEE ..> 19-Dec-2010 22:03 1.0M [   ] Boch90xx - from IEEE..> 15-Feb-2012 10:13 291K [   ] Bochmann-Gotzhein 19..> 19-Dec-2010 22:03 685K [   ] Bowen - 7 more myths..> 19-Dec-2010 22:04 864K [   ] Bowen - FM 10 years ..> 19-Dec-2010 22:04 1.0M [   ] Clarke - FM State of..> 19-Dec-2010 22:04 291K [   ] Gouda-Yu 1984.pdf 19-Dec-2010 22:04 1.0M [   ] Holzmann-1997-SPIN.pdf 19-Dec-2010 22:02 248K [   ] Khendek-1989.pdf 19-Dec-2010 22:04 921K [   ] Lamport-78.pdf 19-Dec-2010 22:04 835K [   ] Nakata-1998.pdf 19-Dec-2010 22:04 81K [   ] Nakata-2002-NHT98RTC..> 19-Dec-2010 22:04 81K [   ] OCL - 12-01-01.pdf 10-Jan-2012 18:40 1.7M [   ] Overview of SDL.pdf 19-Dec-2010 22:04 118K [   ] RealizabilityOfColla..> 19-Dec-2010 22:04 521K [   ] SPIN application to ..> 19-Dec-2010 22:04 225K [   ] SpinTutorial.pdf 20-Jan-2010 13:18 1.1M [   ] UML - 05-07-05 - inf..> 19-Dec-2010 22:05 1.6M [   ] UML - superstructure..> 06-Jan-2013 15:15 4.5M [   ] WS_FTP.LOG 15-Feb-2012 10:19 9.2K [   ] WorkflowGen-White-Pa..> 16-Jan-2010 12:08 73K [   ] Zafiropulos-1980.pdf 19-Dec-2010 22:05 1.2M [DIR] papersByAalst/ 15-Mar-2013 10:27 - [   ] roadmap-analysis.pdf 19-Dec-2010 22:04 117K [   ] roadmap-requirements..> 19-Dec-2010 22:04 100K
Apache/2.0.59 (FreeBSD) mod_ssl/2.0.59 OpenSSL/0.9.7e-p1 PHP/5.1.6 with Suhosin-Patch Server at www.site.uottawa.ca Port 443