Up to top level
AsyncBook   AtacsDoc   AtacsExample   AtacsFatal   AtacsFeature   AtacsIncorrect   AtacsPotential   BioBook   BioSim   Closed   GCM2SBML   GUI   GeneNet   LEMA   Needs testing   Reb2Sac   incoming  

Logged in as guest

Case sensitive: yes  no Regular expression
Message type: all  pending  replied  unreplied  Select message id:


Notification:

AtacsFatal has 1 messages

IdSummaryNotesMove To
274
3 replies
6 followups 		Cannot use state assignment on level-based specifications
peskin@cs.utah.edu
Thu, 2 Dec 1999 15:57:07 -0700 		Need CSC solver for level-based specs.


Up to top level
AsyncBook   AtacsDoc   AtacsExample   AtacsFatal   AtacsFeature   AtacsIncorrect   AtacsPotential   BioBook   BioSim   Closed   GCM2SBML   GUI   GeneNet   LEMA   Needs testing   Reb2Sac   incoming  

Logged in as guest

web interface using JitterBug