[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

291.0. "707/DK-003 [100] Aarhus/Translator for Mechanical Verification in TLA" by WADD::EERP () Tue Feb 18 1992 19:29

T.RTitleUserPersonal
Name
DateLines
291.1Lost contracts re-issued SHUSHU::MURITHWed Jun 10 1992 18:2325
291.2License upgrade requested SHUSHU::MURITHMon Jun 22 1992 21:0658
291.3Cost of license upgradeSHUSHU::MURITHTue Jun 30 1992 14:5453
291.4Which multi-user license is required? SHUSHU::MURITHWed Jul 01 1992 14:0352
291.5Required license specified SHUSHU::MURITHMon Jul 06 1992 12:4226
291.6Larch Workshop - with students of the projectKAMPUS::ECKLEWed Sep 02 1992 19:27139
291.7Can EERP pay for remedial services ?KAMPUS::VARSEKTue Aug 24 1993 13:0240
291.8No, but maybe for spare parts...KAMPUS::VARSEKTue Aug 24 1993 13:0292
291.9Maintenance issue raised by Soren Breth @DMAKAMPUS::VARSEKTue Aug 24 1993 18:3983
291.10SRC not able to provide incremental allowance for 100% EERPKAMPUS::VARSEKThu Aug 26 1993 13:2127
291.11It's the Graphics board, not the motherboardKAMPUS::VARSEKMon Aug 30 1993 13:32252
291.12Straightening out issues with Danish AccountKAMPUS::VARSEKMon Aug 30 1993 16:2861
291.13Project terminatedKAMPUS::REGENBOGENWed Jul 27 1994 19:556