[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference kasino::eerp_abstracts

Title:European Research Abstracts
Moderator:KAMPUS::REGENBOGEN
Created:Thu Apr 03 1986
Last Modified:Mon Aug 05 1996
Last Successful Update:Wed May 28 1997
Number of topics:443
Total number of notes:4098

292.0. "708/DK-004 [100] TUDenmark/Mechanical Verification of Concurrent Systems in TLA" by WADD::EERP () Tue Feb 18 1992 16:43

T.RTitleUserPersonal
Name
DateLines
292.1Lost contracts re-issued 5.6.92 SHUSHU::MURITHWed Jun 10 1992 14:2225
292.2License upgrade requested SHUSHU::MURITHMon Jun 22 1992 17:0558
292.3Cost for license upgrade SHUSHU::MURITHTue Jun 30 1992 10:5254
292.4Which multi-user license is required? SHUSHU::MURITHWed Jul 01 1992 10:0452
292.5Required license specified SHUSHU::MURITHMon Jul 06 1992 08:4126
292.6Project terminatedKAMPUS::REGENBOGENWed Jul 27 1994 15:476