Results 1 -
1 of
1
A Hybrid Linear Logic for Constrained Transition Systems (2009)
by K CHAUDHURI, J DESPEYROUX
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University