Details
Title
PLS: Programming Language for Simulations
Author(s)
Kuncak, Viktor
Published in
Proceedings of the Petnica Science Center Seminar '93
Pages
111-146
Date
1993
Publisher
Science Center Petnica, Valjevo, Yugoslavia
Note
in Serbian
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21