Electronic Notes in Theoretical Computer Science

Edit Your Profile

Electronic Notes in Theoretical Computer Science Journal

publication venue for

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. 174:57-70. 2007
CoreLime: A Coordination Model for Mobile Agents. 54:17-34. 2001
Confinement properties for multi-threaded programs 1999

International Standard Serial Number (ISSN)

1571-0661